OpenAI 放出 722 篇 AI 撰写的数学论文:专攻人类未解难题
iamfakhrealam · x · 2026-10-08
OpenAI 发布了 722 篇完全由 AI 模型撰写的数学论文,全部免费开放。要点:
- 模型拿到约 4000 道无人解出的难题,因为常规数学测试已经「太简单」
- 每个结果平均思考约 3 小时
- 主题从圆周率 π 到磁体背后的数学
- 正确性验证:许多证明由 Lean(逐步检查的形式化验证工具)核验,但并非全部已验证,OpenAI 承认部分可能仍有错误
- 论文、证明及 AI 的思考过程笔记全部免费公开
评论者认为这标志着 AI 从「做作业」进入了数学家花数年攻关的领域。
所属事件:OpenAI 开源 722 份模型数学手稿，数学界震动待审(141 条相关)→
「模型」频道最新
- 浏览器版 ChatGPT 现降级提示:「能力受限,回复质量可能下降」 — jasondeanlee · 2026-10-08
- Reddit 实测:同额度下 Work 模式比 Codex 模式更能打 — sasik520 · 2026-10-08
- Epoch发布InnovationEval：AI做出重大创新的能力仍远不达标 — Afinetheorem · 2026-10-08
- 三周冒出 113 个决策模型：七成基于 Qwen，最便宜的不到一厘钱 — jonathanmalkin · 2026-10-08
- 用户实测称 Haiku 5.5 是工作流重大升级 — Sorcerer12345 · 2026-10-08
- OpenRouter 上线决策模型排行榜,typesafeai 包揽全部类目第一 — gaganghotra_ · 2026-10-08