Anthropic 抢先用 AI 证明费马大定理,Xena 项目主理人发文认输
ravenical · hn · 2026-09-05
数学形式化项目 Xena 的主理人 Kevin Buzzard 在博客发文,标题即「费马大定理:Anthropic 比我先做到了」,称 Anthropic 已用 AI 率先完成费马大定理的证明,走在他长期推进的 Lean 形式化工作之前。
费马大定理是数论最著名的问题之一,此前唯一证明依赖 Wiles 数百页的复杂数学,Xena 项目一直在尝试将其完整形式化到 Lean 证明助手中。若 Anthropic 确实借 AI 抢先完成,将是 AI for Science 的标志性时刻。细节以原文与后续验证为准。
「漫话AGI」频道最新
- 从元素周期表质疑「碳沙文主义」:硅基为何不能有意识 — yeastsplainer · 2026-09-05
- 投资人质疑：银行安全升级跟不上 AI 智能体集群攻击速度 — marcvanderchijs · 2026-09-05
- 荷兰主流大报至少 49 篇评论文章纯 AI 生成,57 篇部分生成 — boppinmule · 2026-09-05
- 具身 AGI 路线之争:有人押注 LLM 跑到 10k TPS,而非世界模型与 VLA — ethanniser · 2026-09-05
- 卫报:严重 AI 安全事件频发,"我们可能逼近失控临界线" — nordicinst · 2026-09-05
- AI领袖的困境：接近ASI却面临生存威胁 — MattGarciaEth · 2026-09-05