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