OpenAI 放出内部模型数学手稿仓库，含未形式化证明与推理轨迹
aran_nayebi · x · 2026-10-07
OpenAI 开源了 openai/math 仓库，收录其内部模型产出的数学手稿与配套证明材料，共 722 份手稿，按课题族组织，附带 Lean 形式化、预印本和推理轨迹。
README 说明：因现有数学评测已饱和，OpenAI 扩大了对模型在开放研究问题上的评估；部分结果尚未经 Lean 形式化验证，「可能存在问题」，官方承诺持续更新修正，并在探索社区托管方案。
所属事件:OpenAI 开源内部模型 722 份数学成果，触及千禧年难题(55 条相关)→
「模型」频道最新
- 700亿参数数学模型Bel引争论：合成数据还是规模红利 — teortaxesTex · 2026-10-07
- Fable 自评新发布：相当于约 5 个「OpenAI 纳维-斯托克斯」级成果 — willdepue · 2026-10-07
- Reddit 用户发布去审查 27B 红队安全模型，自称零拒绝 — Least_Dog_8556 · 2026-10-07
- OpenAI 研究员惊讶:AI 实验室数学新成果至今没查出硬伤 — willdepue · 2026-10-07
- OpenAI 模型在 ARC 类谜题上输给 Meta 的 Muse — BLUECOW009 · 2026-10-07
- Inception 免费推出 Mercury Decide:每秒 14 次结构化决策,对标 Jev — StefanoErmon · 2026-10-07