人工智能首度完成菲尔兹奖成果的形式化证明，Gauss项目20万行代码引领数学革命？
机器之心编辑部近日，AI 在数学领域取得了新的突破！一家名为 Math, Inc. 的公司宣布其 Gauss 智能体已经完成了关于八维和二十四维空间中球体堆积最优解的定理形式化证明。原始理论由玛丽娜・维亚佐夫斯卡及其团队在多年研究后提出，并且她也因此荣获了2022年的菲尔兹奖。据悉，这是自本世纪以来首个被完全形式化验证的菲尔兹奖成果，也是迄今为止规模最大的单一用途 Lean 形式化项目。Math,
科技8 阅读
搜索: "形式化证明"
共找到 2 篇相关文章
一周内独立完成！AI代理公布首例菲尔兹奖成果形式化验证代码库，达20万行
在短短五天内，AI成功完成了原本需要六个月才能完成的数学定理的形式化证明工作。 这一成就一经公布便迅速在社交媒体上引发了广泛讨论，甚至有专家将其形容为“形式化领域的ImageNet时刻”。 该成果由Math公司研发的人工智能Gauss实现。具体而言，它完成了对Maryna Viazovska于2022年因解决8维和24维度球体堆叠问题而获得的菲尔兹奖数学成就的形式化验证工作。 这项研究是本世
AI1 阅读