AI助力破解首项菲尔兹奖难题，短短两周生成二十万行代码，数学界震撼不已
新智元报道数学界迎来了一场前所未有的变革，顶尖数学家难以推进的证明问题被AI解决了，连菲尔兹奖得主也不可避免地受到了质疑。AI在数学领域引发了一场风暴，它对传统研究方式构成了挑战。在短短五天内，AI就完成了人类历时十五个月才能完成的工作。Viazovska提出的关于8维和24维球填充问题的证明被转换成近二十万行Lean代码，效率惊人地提升了九十多倍。人类智慧与AI技术之间的较量似乎已经分出了胜负，
科技3 阅读
搜索: "菲尔兹奖"
共找到 3 篇相关文章
人工智能首度完成菲尔兹奖成果的形式化证明，Gauss项目20万行代码引领数学革命？
机器之心编辑部近日，AI 在数学领域取得了新的突破！一家名为 Math, Inc. 的公司宣布其 Gauss 智能体已经完成了关于八维和二十四维空间中球体堆积最优解的定理形式化证明。原始理论由玛丽娜・维亚佐夫斯卡及其团队在多年研究后提出，并且她也因此荣获了2022年的菲尔兹奖。据悉，这是自本世纪以来首个被完全形式化验证的菲尔兹奖成果，也是迄今为止规模最大的单一用途 Lean 形式化项目。Math,
科技8 阅读
一周内独立完成！AI代理公布首例菲尔兹奖成果形式化验证代码库，达20万行
在短短五天内，AI成功完成了原本需要六个月才能完成的数学定理的形式化证明工作。 这一成就一经公布便迅速在社交媒体上引发了广泛讨论，甚至有专家将其形容为“形式化领域的ImageNet时刻”。 该成果由Math公司研发的人工智能Gauss实现。具体而言，它完成了对Maryna Viazovska于2022年因解决8维和24维度球体堆叠问题而获得的菲尔兹奖数学成就的形式化验证工作。 这项研究是本世
AI4 阅读