Logo

搜索: "菲尔兹奖"

共找到 9 篇相关文章

菲尔兹奖得主都看懵了：OpenAI非数学模型自主突破80年数学难题

菲尔兹奖得主都看懵了：OpenAI非数学模型自主突破80年数学难题

闻乐 发自 凹非寺量子位 | 公众号 QbitAIOpenAI又双叒搞数学了。内部模型搞定了一道埃尔德什早年提出的单位距离经典难题，已经80年无实质进展。解决这个问题的还不是数学专家模型，而是一个通用模型该内部模型在埃尔德什经典问题上摸出了全新解题思路，连菲尔兹奖得主高尔斯（Timothy Gowers）都直言，这算是实打实头一回，AI自主啃下这种未解数学难题：这是AI解决的第一个极其著名的、未解

科技1 阅读
2小时搞定博士论文，3天终结40年悬案：AI宣判数学「死刑」？

2小时搞定博士论文，3天终结40年悬案：AI宣判数学「死刑」？

新智元报道【新智元导读】AI之下，数学大爆发！陶哲轩反击：证明在批量生产，可没人消化得了——数学正在「消化不良」。2024年12月，Meta的研究科学家、日内瓦大学教授François Fleuret给数学宣判了死刑，缓期3年执行：最近，菲尔兹奖得主Timothy Gowers用GPT-5.5 Pro，花了不到两个小时，独立完成了一项博士论文级别的数学研究。而他不过提供了几个没有任何数学深层含义的

科技2 阅读
陶哲轩：千年数学规则被AI按下重启键

陶哲轩：千年数学规则被AI按下重启键

新智元报道【新智元导读】菲尔兹奖得主陶哲轩在斯坦福演讲后宣布改变个人工作习惯：不再试图实时跟进所有新证明。AI生成证明的速度已经远超人类消化能力，数学正在被自己的产出撑爆。陶哲轩，公开演讲承认AI已彻底改变数学工作流。周三，这位菲尔兹奖得主在斯坦福大学发表了一场题为《新数学工作流》的演讲。然后在Mathstodon上写下一条公告：他要改变自己的工作习惯，不再试图实时跟进所有新证明。一个每年审阅上百

科技4 阅读
菲尔兹奖得主0贡献！GPT-5.5 Pro两小时跑出博士级证明

菲尔兹奖得主0贡献！GPT-5.5 Pro两小时跑出博士级证明

新智元报道【新智元导读】全网震撼！菲尔兹奖得主把未解数学题扔给GPT-5.5 Pro，不到两小时拿到博士论文级证明。整个过程中，他没给出任何数学思路。今天，菲尔兹奖得主Timothy Gowers在个人博客上发了一篇长文——最近一次使用ChatGPT 5.5 Pro的体验标题平平无奇，内容却让整个数学圈坐不住了。文中，他亲手验证了一个令整个数学界不寒而栗的事实：GPT-5.5 Pro，用了不到两个

科技2 阅读
AI助力破解首项菲尔兹奖难题，短短两周生成二十万行代码，数学界震撼不已

AI助力破解首项菲尔兹奖难题，短短两周生成二十万行代码，数学界震撼不已

新智元报道数学界迎来了一场前所未有的变革，顶尖数学家难以推进的证明问题被AI解决了，连菲尔兹奖得主也不可避免地受到了质疑。AI在数学领域引发了一场风暴，它对传统研究方式构成了挑战。在短短五天内，AI就完成了人类历时十五个月才能完成的工作。Viazovska提出的关于8维和24维球填充问题的证明被转换成近二十万行Lean代码，效率惊人地提升了九十多倍。人类智慧与AI技术之间的较量似乎已经分出了胜负，

科技6 阅读
人工智能首度完成菲尔兹奖成果的形式化证明，Gauss项目20万行代码引领数学革命？

人工智能首度完成菲尔兹奖成果的形式化证明，Gauss项目20万行代码引领数学革命？

机器之心编辑部近日，AI 在数学领域取得了新的突破！一家名为 Math, Inc. 的公司宣布其 Gauss 智能体已经完成了关于八维和二十四维空间中球体堆积最优解的定理形式化证明。原始理论由玛丽娜・维亚佐夫斯卡及其团队在多年研究后提出，并且她也因此荣获了2022年的菲尔兹奖。据悉，这是自本世纪以来首个被完全形式化验证的菲尔兹奖成果，也是迄今为止规模最大的单一用途 Lean 形式化项目。Math,

科技12 阅读
一周内独立完成！AI代理公布首例菲尔兹奖成果形式化验证代码库，达20万行

一周内独立完成！AI代理公布首例菲尔兹奖成果形式化验证代码库，达20万行

在短短五天内，AI成功完成了原本需要六个月才能完成的数学定理的形式化证明工作。 这一成就一经公布便迅速在社交媒体上引发了广泛讨论，甚至有专家将其形容为“形式化领域的ImageNet时刻”。 该成果由Math公司研发的人工智能Gauss实现。具体而言，它完成了对Maryna Viazovska于2022年因解决8维和24维度球体堆叠问题而获得的菲尔兹奖数学成就的形式化验证工作。 这项研究是本世

AI8 阅读