OpenAI 开源内部模型产出的 722 份数学研究手稿及证明材料
rand_longevity · x · 2026-10-07
OpenAI 开源 AI 生成的数学研究成果
OpenAI 在 GitHub 上公开了 openai/math 仓库，收录由内部模型产出的数学手稿与证明辅助材料。
- 共包含 722 份手稿，附带 Lean 形式化证明、预印本与推理轨迹（reasoningtraces）等目录
- 起因是模型在现有数学评测上已饱和，OpenAI 转而让模型在开放研究问题上做评估，并逐步扩大范围
- 仓库明确说明：不同结果处于不同验证阶段，并非全部有 Lean 形式化，未形式化的结果可能存在问题，后续会持续更新形式化证明
- 采用 Apache-2.0 许可证，目前在探索社区托管的发布方式
这被一些观察者视为「AI 前沿产出新数学结果」的标志性信号。
所属事件:OpenAI 开源内部模型 722 份数学成果，涉千禧年难题进展(42 条相关)→
「模型」频道最新
- Grok 4.7 上线 Microsoft Foundry,xAI 模型扩大企业分发 — SpaceXAI · 2026-10-07
- Claude 用 3D 动画讲解 Hodge 猜想新证明：百万美元难题家族被解 — imjustnewatai · 2026-10-07
- Claude Opus 5.5登顶AA指数达58，但单位任务成本与上代持平 — qinzytech · 2026-10-07
- 实测金融分析：小模型排名一致性仅 15%，前沿模型达 75% — Rough_Practice7631 · 2026-10-07
- 「Cited by AGI」统计 OpenAI 数学论文集引用的人类作者排行 — willdepue · 2026-10-07
- Seroter 日报:Mistral 发布万亿参数 Large 4,上下文质量框架引关注 — rseroter · 2026-10-07