Event ·Multi-source

Claude 11天完成费马大定理计算机验证

Anthropic宣布Claude模型在11天内完成了对费马大定理的首个端到端计算机验证证明。Claude生成了约1300万行Lean代码，证明了约3.03万个定理，其中约2.95万个中间定理被纳入完整证明。整个证明仅使用Lean的3条标准公理，由Lean完成检查。项目使用了Prove2Me平台，通过多智能体协作完成工作，消耗了约60亿个输出Token。

Current read

Claude用11天完成费马大定理的形式化证明，比预期数年快得多，展示了AI在数学验证上的突破。

11 sources78° AI heatLast updated 2026/9/4 23:20:46

Evidence

11 sources

Primary sourceIT之家

2026/9/4 23:20:46View source

Related source 1SuperTechFans

2026/9/5 23:35:52View source

Related source 2shao__meng

2026/9/3 00:42:41View source

Related source 3AI Engineer

2026/9/3 16:02:00View source

Related source 4量子位

2026/9/5 01:17:56View source

Related source 5lmarena.ai

2026/9/6 00:44:02View source

Related source 6Gary Marcus

2026/9/6 13:46:01View source

Related source 7小互

2026/9/3 02:10:35View source

Related source 8Geek

2026/9/3 06:48:29View source

Related source 9Decoder

2026/9/3 14:15:28View source

Related source 10arXiv: OpenAI

2026/9/4 14:57:17View source

Conflict check

Dedup data only shows that these sources discuss the same event, not that they agree. There is no structured supporting or refuting evidence yet, so no conflict is inferred automatically.

Open the story