搜索: "维度球体堆叠"

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

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