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天完成费马大定理首个机器验证证明(17 条相关)→
「模型」频道最新
- OpenAI 宣布 GPT-6 Astra 面向 Pro、Enterprise 与 Business Premium 全量开放 — Polymarket · 2026-09-05
- 开发者用 GPT-6 Astra 改进游戏 CRT/VHS 着色器,效果惊艳 — AIandDesign · 2026-09-05
- OpenAI 旗舰模型 GPT-6 Astra 上线 OpenRouter,定价 $10/$50、1M 上下文 — scaling01 · 2026-09-05
- GPT-6 Astra 开放 Pro/企业用户与 API，官方工程师晒五大用法 — OpenAIDevs · 2026-09-05
- 网友实测对比 Sol 5.6 Ultra 与 Astra 6 Light 输出质量 — Positive_Writing_883 · 2026-09-05
- LMArena 上线 GPT-6 Astra 对测,开放 Battle 与 Agent 两种模式 — arena · 2026-09-05