AI 研究
OpenAI 公开一批内部前沿模型产出的数学结果：722 份手稿、含 10 份推理摘要与 Lean 形式化
据 OpenAI 官方仓库 openai/math（2026-10-06 建立），OpenAI 公开一批由内部未发布前沿模型产出的数学手稿与证明工件：共 722 份手稿、归入 372 个 family，平均每个结果约消耗「3 小时 ChatGPT Pro 思考量」的算力（评测约 4,000 道题），并公开 10 个 family 的推理摘要与部分 Lean 形式化证明。仓库自述：并非所有结果都有 Lean 形式化，未形式化的结果可能存在问题；个别写作（如 Re(s)>11/12 零无区）经人工编辑以便阅读。发布参考了普林斯顿高等研究院「数学与 AI 顾问组」的公开建议。（OpenAI 官方页面 openai.com 直连 403，故以官方 GitHub 发布地为一手源。）
对 AI 使用者意味着什么
AI 做数学从「能解题」进入「公开发表 + 可形式化验证 + 有治理框架」阶段；但结果均为 OpenAI 自报、未经第三方独立复现，未形式化部分官方自认可能有问题。
来源：openai/math（GitHub 官方仓库） ↗ 原文链接
有具体工作流问题？联系咨询。新闻本身免费阅读。