OpenAI 开源前沿模型产出的 722 篇数学手稿与推理轨迹
gdb · x · 2026-10-07
OpenAI 宣布发布由内部前沿模型产出的一系列新数学成果，并同步开源了 GitHub 仓库 openai/math。
要点：
- 仓库包含 722 篇数学手稿及配套证明材料，分 lean（Lean 形式化证明）、preprints、reasoningtraces（推理轨迹）等目录，附 overview.pdf 概览，采用 Apache-2.0 许可，上线即获约 2k star。
- OpenAI 称此前在既有数学评测上已饱和，故扩展到对开放研究问题的评估；部分输出是在模型早期结果基础上迭代而来。
- 发布过程咨询了普林斯顿高等研究院（IAS）的「数学与人工智能独立顾问小组」，并参考其公开建议。
- 成果处于不同验证阶段，并非全部有 Lean 形式化，官方承认未形式化的结果可能存在问题，会持续更新并探索社区托管仓库。
CEO Greg Brockman 转发时称这是「加速科学发现、改善所有人生活质量」的一步。
所属事件:OpenAI 开源 722 份前沿模型数学手稿(73 条相关)→
「模型」频道最新
- 基于 Gemma4 的 26B 决策模型 GEV-26B 登上 HF 热榜 — autotrust · 2026-10-07
- altryne 质疑 Gary Marcus：Lean 证明只是验证环节而非生成过程 — altryne · 2026-10-07
- Sentry 创始人吐槽 ChatGPT 会话超长强制重来，直指远程压缩被厂商垄断 — zeeg · 2026-10-07
- 爆料称 V4.1 用编码器压缩 KV 疑 copied 自 Astra，可信度存疑 — teortaxesTex · 2026-10-07
- 转推称 AI 已解决 500 个最重要数学开放问题中的 90 个 — jeffclune · 2026-10-07
- karminski 实测 Claude Opus 5.5:几分钟重构出工业级风扇监控面板 — karminski3 · 2026-10-07