主要来源IT之家
查看原文事件专题 ·多源确认
Claude 11天完成费马大定理计算机验证
Anthropic宣布Claude模型在11天内完成了对费马大定理的首个端到端计算机验证证明。Claude生成了约1300万行Lean代码，证明了约3.03万个定理，其中约2.95万个中间定理被纳入完整证明。整个证明仅使用Lean的3条标准公理，由Lean完成检查。项目使用了Prove2Me平台，通过多智能体协作完成工作，消耗了约60亿个输出Token。
当前结论
Claude用11天完成费马大定理的形式化证明，比预期数年快得多，展示了AI在数学验证上的突破。
10 个信源78° AI 热度最后更新 2026/9/4 23:20:46
证据链
10 个信源冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。