OpenAI 开源 722 份内部模型数学手稿，含证明工件与推理轨迹
danielrock · x · 2026-10-07
OpenAI 发布 GitHub 仓库 openai/math，收录其内部模型产出的 722 份数学手稿及配套证明工件。要点：
- 背景：现有数学评测已饱和，OpenAI 转而让模型攻关开放研究问题，并在此基础上扩大评估范围。
- 仓库包含 lean 形式化证明、preprints 预印本、reasoningtraces 推理轨迹等目录，附 overview.pdf。
- 部分结果尚无 Lean 形式化，可能存在问题，官方承诺快速修复并持续补充形式化版本，也在探索社区托管的仓库。
- 许可为 Apache-2.0，仓库一天内已获 1.3k star。
这是内部前沿模型的原始研究成果首次成体系公开，对数学界与模型能力评估都有信号意义。
所属事件: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