ued带来一线体育消息：
数学界近日迎来重大突破。由清华姚班毕业生彭天翼带领的团队，借助AI系统Claude，仅用11天就完成了费马大定理的机器验证证明，创下了历史性记录。
这个困扰数学界350多年的难题，曾经需要数学家怀尔斯耗时数年、撰写129页论文才能完成证明。而如今，AI系统Claude以其惊人的速度和规模，完成了这一壮举。在短短11天内，Claude共计生成1300万行代码，验证了30300条定理，其中29500条被纳入最终证明。整个过程中，系统消耗了60亿Token，其工作量甚至超越了全球最大数学定理库Mathlib的五倍有余。
值得一提的是，Claude不仅证明了费马大定理，还从头开始构建了证明过程所需的29000多条数学定理。这一过程涵盖了代数、几何、数论等多个数学分支，许多内容此前从未被形式化。整个项目中，人类的角色主要是提供高层次指导，如确定"雅可比簇作为一个概形优先级挺高"等战略方向，具体的证明工作几乎完全由AI自主完成。
项目负责人彭天翼堪称技术奇才。这位清华姚班优秀毕业生，先后在MIT攻读博士学位并取得GPA满分，现任哥伦比亚大学商学院助理教授兼Anthropic研究员。他对AI验证数学证明的执念源于一次亲身经历——曾经因无法百分百确定论文证明的正确性而错失发表机会。如今，他运用AI技术弥补了这个遗憾。
这一突破不仅展现了AI在数学领域的巨大潜力，也为未来科学证明的可验证性开启了新纪元。AI系统以远超人脑的速度和精度，完成了这项曾经被认为是"以年为单位"的超级工程，标志着数学证明进入了一个全新的时代。
更多精彩内容，请继续关注UED·(中国区)-官网的后续报道。
发表评论