OpenAI 开源内部前沿模型产出的 722 份数学新结果
OpenAI · x · 2026-10-07
OpenAI 官宣发布由内部前沿模型产出的一系列新数学研究成果，并在 GitHub 开源了 openai/math 仓库。
要点：
- 仓库收录 722 份手稿，附证明材料（preprints、reasoningtraces、Lean 形式化目录等），采用 Apache-2.0 许可。
- 结果处于不同验证阶段：并非全部有 Lean 形式化证明，官方承认未形式化的结果可能存在问题，会持续更新修正。
- 背景是现有数学评测已饱和，OpenAI 转向让模型在开放研究问题上做评估，部分输出建立在模型早期产出的结果之上。
- 发布方式咨询了普林斯顿高等研究院（IAS）独立的「数学与人工智能顾问小组」，参考了其公开建议。
所属事件:OpenAI开源内部前沿模型产出的数学手稿(12 条相关)→
「公司和人」频道最新
- 实习生成长为工程师,在 keynode 演示 Tandem Voice — ZackRW · 2026-10-07
- Bun 重写为 Rust 后,TypeScript 工具链重写已成行业常态 — cnakazawa · 2026-10-07
- FICO 将裁员约 15%，同时把 AI 深度整合进产品开发 — Polymarket · 2026-10-07
- OpenAI 仅用两周将 Decisions API 从原型推向正式发布 — stevenheidel · 2026-10-07
- Matic 机器人曝光敏捷硬件幕后：30 天内设计到出货 — JoeJustice · 2026-10-07
- AI 改造失败流程只是「自动化复杂性」：先重构流程再上 Agent — kashifmanzoor · 2026-10-07