Anthropic 抢先用 AI 证明费马大定理,Xena 项目主理人发文认输
ravenical · hn · 2026-09-05
数学形式化项目 Xena 的主理人 Kevin Buzzard 在博客发文,标题即「费马大定理:Anthropic 比我先做到了」,称 Anthropic 已用 AI 率先完成费马大定理的证明,走在他长期推进的 Lean 形式化工作之前。
费马大定理是数论最著名的问题之一,此前唯一证明依赖 Wiles 数百页的复杂数学,Xena 项目一直在尝试将其完整形式化到 Lean 证明助手中。若 Anthropic 确实借 AI 抢先完成,将是 AI for Science 的标志性时刻。细节以原文与后续验证为准。
「漫话AGI」频道最新
- Bombadil：用 400 万小时信号训练的植物电生理基础模型 — vboykis · 2026-10-21
- LLM 进化快于机器人:水电工等体力活或比白领工作更难被替代 — venturetwins · 2026-10-21
- 如果 AI 在集体主义文化中开发,会对齐成什么样? — mimi10v3 · 2026-10-21
- 研究者热议具身智能分层：需更可控的 S0 控制器与真正闭环的 S2 — chris_j_paxton · 2026-10-21
- Vibe coding 时代：学编程上移一层，拼的是系统与管线 — MoonL88537 · 2026-10-21
- 推理扩展→子代理→Agent 集群，宛如单线程到分布式的历史重演 — adityaag · 2026-10-21