Claude 用 11 天完成费马大定理的首个完整机器验证证明
Formalizing Fermat's Last Theorem
AI 导读Anthropic 发布首个完整机器验证的费马大定理证明，Claude 在 11 天内基本自主完成，写出 1300 万行 Lean 代码并证明 29,500 个中间定理。
来源：Anthropic：Research · anthropic.com
事件后续1
查看事件全部- Claude 用 11 天完成费马大定理的首个完整机器验证证明Anthropic：Research · 9 月 5 日