Kevin Buzzard 五年计划 formalize 费马大定理,Claude 11 天完成
Singularitarian · x · 2026-09-05
一条引发热议的推文称:数学家 Kevin Buzzard 原本拿到 5 年资助去形式化费马大定理的证明,而 Claude 据称只用了 11 天就完成了这一史上最大规模的定理形式化工作。发帖人将此与 OpenAI 此前在素数间隔问题上的突破并列,认为数学正在经历一场全面的库恩式革命。
若属实,这标志着前沿模型在形式化数学(formalization)领域的能力出现跳跃式进展——以往需要人类数学家多年推进的证明工程,正在被 AI 大幅压缩。
所属事件:Claude 11 天完成费马大定理首个形式化证明(52 条相关)→
「模型」频道最新
- 开发者实测:Gemini Argon 分析调试日志优于 Fable 5.1 — ShikharMurty · 2026-10-21
- 开源新模型 Ornith-1.5-122B 发布:SWE-bench 84.5%,单卡 DGX 可跑 — _akhaliq · 2026-10-21
- Gemini 3.1 Pro 玩「两真一假」：bot 太沉迷账本，秒被识破谎言 — mimi10v3 · 2026-10-21
- 1.3B 开源模型 OXR 登顶三大文档解析榜，百页 101 秒 — aftahi_ai · 2026-10-21
- MiniMax M3.1 Flash 上架 TokenRouter：DeepSWE 73.7%，输出 $0.6/M — MiniMax_AI · 2026-10-21
- OpenVLHarness：给任意 LLM 套视觉推理外壳，22 项数据集平均涨 9.9 分 — hsu_byron · 2026-10-21