01
Fermat's Last Theorem(费马大定理)迎来了首个完整计算机验证 prove,Claude 在 11 天内自主完成 1300 万行 Lean 代码,证明了 29500 个中间定理。传统上,Wiles 于 1995 年用 129 页证明并耗时数月验证,费马原 marging 注释的“精妙证明”至今未被找到。数学界长期努力 formalize 该证明所需的方法论和数年社区合作,而此次 Anthropic 的验证工作采用 Prove2Me 平台,通过 DAG 管理任务分解,加速编译与资源优化,实现从数学直觉到机械可查的跨越。未来,科研家可借助 AI 工具快速 formalie 现有理论,降低图灵验证等等式风险,改变数学论证从“人肉检查”到“机器验证”的工作模式。










