Claude 自主工作 11 天完成费马大定理首个机器验证证明
rohanpaul_ai · x · 2026-09-05
Anthropic 发布首个费马大定理的完整计算机验证证明:Claude 在 11 天内基本自主工作,用 Lean 语言完成形式化,写出 1300 万行代码并证明 29500 个中间定理。
- 原始证明是 Wiles 1995 年的 129 页论文,人工验证耗时数月
- 此前 Kevin Buzzard 2024 年发起多年社区形式化项目;Anthropic 研究员 Tianyi Peng(哥伦比亚大学)测试 Claude 能否推进,结果远超预期
- Buzzard 评价这是「非凡的自动形式化成就」
- 团队认为这对研究数学的意义值得探讨
所属事件:Claude 11 天完成费马大定理首个形式化证明(52 条相关)→
「模型」频道最新
- 开发者实测:Gemini Argon 分析调试日志优于 Fable 5.1 — ShikharMurty · 2026-10-21
- 用户让 ChatGPT「尖叫」，它陷入无限循环 AAAAHHH 停不下来 — AutomaticScene · 2026-10-21
- 开源新模型 Ornith-1.5-122B 发布:SWE-bench 84.5%,单卡 DGX 可跑 — _akhaliq · 2026-10-21
- qev-0.8B:3.5毫秒决策、1.3GB本地跑的微型模型登顶 — fajfas3 · 2026-10-21
- Gemini 3.1 Pro 玩「两真一假」：bot 太沉迷账本，秒被识破谎言 — mimi10v3 · 2026-10-21
- 1.3B 开源模型 OXR 登顶三大文档解析榜，百页 101 秒 — aftahi_ai · 2026-10-21