标签:数学
冯·诺依曼的遗产:寻找人工生命的理论根源
导语现在的人工智能研究如火如荼。然而,尽管像大语言模型这样的人工智能系统早已经秒杀人类智慧,但它却是冷冰冰、无生命的机器,因为它缺少一颗热血沸腾的“...
理所当然也能错,数学界震动:「上下铺猜想」被证伪
机器之心报道 机器之心编辑部现代数学,开始对你的直觉开刀了。数学的很大一部分是由直觉驱动的,但有时想当然会让人误入歧途。早期的证据可能并不代表大局,...
数学家庭派对:无限π对披萨店
在宇宙的某一角落, 有一处神秘的空间 人们称之为无限π对披萨店 在这里, 数与形的奥义缓缓展现。 🍕披萨不再仅是食物, 而成为通向数学本源的符号。1.无限π对...
陶哲轩推荐:2个高中生发现勾股定理新证明,论文都发出来了
夕小瑶科技说 分享来源 | 机器之心几千年过去了,勾股定理还能有新发现?而且还是被两个高中生发现的? 这个人人都会的初中二年级数学知识,在学术领域居然有...
勾股定理还能这样证明?高中生一现10种证明方法,陶哲轩点赞
机器之心报道 编辑:Panda、泽南论文已上期刊,数学家表示赞叹。几千年过去了,勾股定理还能有新发现?而且还是被两个高中生发现的? 这个人人都会的初中二年...
陶哲轩之后,华人再获数学塞勒姆奖,还是位90后
一水 发自 凹非寺量子位 | 公众号 QbitAI已押中10位菲尔兹奖得主的Salem Prize,今年颁给了一位90后华人—— 继陶哲轩(2000年获奖)和詹大鹏(Dapeng Zhan,20...
北大校友张益唐:会将“朗道-西格尔零点猜想”彻底完成
来源:数学与通识 10月15日,传奇数学家张益唐在知乎上发表文章与年轻人交流,首次讲述了此前从未公开过的诸多往事:小时候读过的介绍俄罗斯科学家罗蒙诺索夫...
人类已知最大素数诞生:2¹³⁶²⁷⁹⁸⁴¹−1!前英伟达员工数千GPU爆肝算出,高达4100万位
新智元报道编辑:Aeneas 好困 【新智元导读】人类已知最大的素数,被GPU发现了!英伟达前员工Luke Durant发现的2136279841-1,比前一个纪录保持者多出1600万...
陶哲轩:纳维-斯托克斯方程或已不再是流体的良好模型
一水 发自 凹非寺量子位 | 公众号 QbitAI能拿下数学奥赛银牌水平的AI是否达到了12岁陶哲轩的水平? 陶神本人的回答来了—— 两三年后,AI将会在这些数学竞赛中...
清华校友用AI162个高数定理,智能体LeanAgent攻克困扰陶哲轩难题!
新智元报道编辑:编辑部 HYZ 【新智元导读】就在刚刚,清华校友用AI证明了162个未被人类证明的数学定理,解决了AI无法解决陶哲轩对多项式Freiman-Ruzsa猜想的...