Claude 形式化费马大定理?数学家 Buzzard 不再笑
basedjensen · x · 2026-09-05
jdlichtman 发推称 Claude 已形式化费马大定理(Fermat's Last Theorem,FLT),并预言未来数月内所有已知数学都将可被形式化。他在去年秋天曾向著名数学家 Kevin Buzzard 提议承接完整的 FLT 形式化工作,当时被「笑出房间」;在继素数定理、球体堆积问题之后,他表示 Buzzard 已经笑不出来了。若属实,这是 AI 数学形式化的里程碑式进展,但具体形式化程度与严谨性尚待 LeaN 社区确认。
所属事件:Claude 11天写出费马大定理首个形式化证明(28 条相关)→
「模型」频道最新
- Simon Willison 用骑自行车鹈鹕实测 GPT-6 Astra:全面碾压 GPT-5.6 — Simon Willison · 2026-09-05
- Meta 公开 Muse Spark 1.3 max：编程与 Agent 能力显著增强 — EdwardSun0909 · 2026-09-05
- GPT-6 Astra 横扫 ARC-AGI-3：标准 66%，专用 harness 近满分 — AccBalanced · 2026-09-05
- GPT-6 Astra 演示被批：开头 17 秒暴露 AI 创意工具通病 — plopesresearch · 2026-09-05
- Astra 号称省 token 却涨价：$20 套餐 5 小时只够用 1.5 次 — oran_ge · 2026-09-05
- 补充分享：Astra 删码并非被要求 deslop — Sauers_ · 2026-09-05