OpenAI 开源内部模型产出的 722 篇数学手稿与证明工件
RisingSayak · x · 2026-10-07
OpenAI 发布了 math 仓库，收录其内部模型生成的数学手稿与配套证明材料，已获 5.9k stars。
- 仓库包含 lean（Lean 形式化证明）、preprints（预印本）、reasoningtraces（推理轨迹）等目录
- 共收录 722 份手稿，源于 OpenAI 在既有数学评测饱和后扩展的开放研究问题评估
- 不同结果处于不同验证阶段，并非全部有 Lean 形式化，部分未形式化结果可能有误，团队承诺尽快修复
- 还在探索社区托管的仓库形式，将持续补充 Lean 形式化
所属事件:OpenAI 开源 722 份模型生成数学成果(121 条相关)→
「模型」频道最新
- 实测：GPT-6-luna 用 API 每 effort 档能多给推理 token — LysandreJik · 2026-10-07
- Bug Hunt 实测：GPT-6.1 Sol 能翻盘修复, Muse 系仍是最便宜主力 — PawelHuryn · 2026-10-07
- 博主自烧订阅算出倍率：SuperGrok 80x、Muse Power 137x 用量杠杆 — PawelHuryn · 2026-10-07
- OpenAI 数学证明发布后,r/mathematics 社区反应两极 — petburiraja · 2026-10-07
- gpt-6-luna 决策榜仅列第 25 名，成本却高 2.3 倍 — antoine_chaffin · 2026-10-07
- 实测新模型：Opus 5.5 性能追平 Fable 5.1 而成本仅三分之二 — PawelHuryn · 2026-10-07