Claude 形式化费马大定理?数学家 Buzzard 不再笑
basedjensen · x · 2026-09-05
jdlichtman 发推称 Claude 已形式化费马大定理(Fermat's Last Theorem,FLT),并预言未来数月内所有已知数学都将可被形式化。他在去年秋天曾向著名数学家 Kevin Buzzard 提议承接完整的 FLT 形式化工作,当时被「笑出房间」;在继素数定理、球体堆积问题之后,他表示 Buzzard 已经笑不出来了。若属实,这是 AI 数学形式化的里程碑式进展,但具体形式化程度与严谨性尚待 LeaN 社区确认。
所属事件: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