OpenAI 开源内部模型产出的 722 份数学手稿与证明材料
kristoph · x · 2026-10-07
OpenAI 公开了 math 仓库，收录其内部模型产出的数学手稿与证明辅助材料。
- 当前目录含 722 份手稿，附带 Lean 形式化证明、预印本和推理轨迹等文件；
- 背景是现有数学评测已饱和，OpenAI 转而让模型在开放研究问题上做评估，部分结果建立在模型早期产出之上；
- 材料处于不同验证阶段，并非全部有 Lean 形式化，未形式化的结果可能有问题，官方承诺尽快修正，并考虑转向社区托管的仓库模式；
- 仓库以 Apache-2.0 许可发布，一天内已获 888 star。
所属事件:OpenAI 开源 722 份模型产出的数学手稿与研究成果(48 条相关)→
「模型」频道最新
- 一个字的“Paris”，Qwen 3.8 27B 实际算了258亿条方程 — CatAstro_Piyush · 2026-10-07
- Gwern 旧论断被重提:采样只能揭示知识的在场,无法证明缺席 — akbirthko · 2026-10-07
- 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