OpenAI公开未发布前沿模型数学成果仓库，后因符号错误撤回三篇论文
先了解这件事
2026年10月，OpenAI在GitHub（github.com/openai/math）发布仓库，公开其未发布内部前沿模型产出的数学研究成果，含论文、修订、引用协议、Lean形式化证明、模型推理摘要、ChatGPT Pro用量估算和尝试题目数量；发布时间有10月6日与10月7日两种说法。OpenAI称发布前咨询了Institute for Advanced Study的独立数学与人工智能咨询小组。早先报道称仓库共722份手稿、组织为372个结果族，源自测试中约4000个研究问题；后续The Verge报道称为近400项成果、719篇手稿，覆盖组合数学、几何、数论、理论计算机科学等领域。OpenAI称其中包含数百个长期开放数学问题的解答，Latent Space则报道称为解决500个顶级未解问题中的90个。平均每项成果消耗约相当于3小时ChatGPT Pro思考的算力。其中一篇论文将两个n×n矩阵乘法的已证明复杂度上界从AlphaEvolve于8月创下的约n^2.371177降至约n^2.25（9/4），并提供Lean形式化证明。The Decoder称372个结果涉及重要计算机算法改进及Riemann hypothesis相关推进。10月8日数字生命卡兹克解读称成果覆盖数论、代数几何、实分析等方向。早先Hacker News消息称OpenAI撤回三项成果但未披露原因；后续The Verge报道称截至10月8日已因符号错误撤回3篇论文、修订十多篇手稿，且仅约300项顶层结果（约42%）完成Lean形式化，数学家称理解其影响或需多年。10月10日IT之家报道，许多证明附计算机可验证版本，纽约大学教授巴克马斯特担忧青年数学家研究计划受冲击并质疑未发表申请书是否被模型利用，西北大学教授克拉担心大量成果一次性发布削弱学术交流与合作。The Decoder报道，数学博客Proofs and Prompts已收集100多位研究者的回应，数学家群体表达震惊与抵触；10月11日消息称该博客持续开放一周征集更多观点。产出成果的前沿模型本身仍未发布。
AI 根据报道生成 · 2 天前更新
事件进展
- 10月11日 14:43 · 1 篇报道数学家群体回应OpenAI攻克百道数学难题Hacker News 热门（buzzing.cc 中文翻译）：Proofs and Prompts 汇集数学家对 OpenAI 数学证明大规模发布的百余种反应
- 10月9日 00:48 · 1 篇报道OpenAI撤回三项数学研究成果Hacker News 热门（buzzing.cc 中文翻译）：OpenAI 撤回三项数学研究成果
- 10月8日 08:36 · 1 篇报道OpenAI发布372组AI数学研究成果公众号：数字生命卡兹克：数字生命卡兹克解读 OpenAI 发布 722 份数学手稿及其影响
- 10月7日 06:17 · 12 篇报道OpenAI发布前沿模型数学研究成果The Verge · AI：OpenAI 一次性发布近 400 项 AI 数学成果，数学家称理解其影响或需多年
报道时间线
沿着报道，了解事件的不同侧面。
- Hacker News 热门（buzzing.cc 中文翻译）精选Proofs and Prompts 汇集数学家对 OpenAI 数学证明大规模发布的百余种反应
Proofs and Prompts 收集了 100 多位数学家对 OpenAI 10 月 6 日发布大量数学开放问题解答的简短反应，并持续开放一周征集更多观点。
- The Decoder精选OpenAI 一次发布 700 多篇数学手稿后，数学家群体表达震惊与抵触
OpenAI 于 2026 年 10 月 6 日发布 700 多篇手稿，声称解决数百个开放数学问题，数学博客 Proofs and Prompts 随后收集了 100 多位研究者的回应。
- IT之家OpenAI 公开 700 多份数学研究文稿，学界担忧冲击青年研究者与合作传统
OpenAI 在 GitHub 公开 700 多份出自内部前沿 AI 模型的数学研究文稿，许多证明附带可供计算机验证的版本，引发数学界不同反应。纽约大学教授巴克马斯特称青年数学家的研究计划受到冲击，并质疑评审专家曾输入模型的未发表申请书是否被利用；西北大学教授克拉担心一次性发布大量成果会削弱学术交流与合作。
- The Verge · AI精选OpenAI 一次性发布近 400 项 AI 数学成果，数学家称理解其影响或需多年
OpenAI 本周在 GitHub 发布近 400 项 AI 生成数学成果，分布于 719 篇手稿，覆盖组合数学、几何、数论、理论计算机科学等领域。OpenAI 称仅 300 项顶层结果完成 Lean 形式化，约占 42%，截至 10 月 8 日已修订十多篇手稿并因符号错误撤回 3 篇论文。
- Hacker News：AI 热帖OpenAI 新数学成果引发 AI 在科学发现中角色的讨论
OpenAI 于 10 月 6 日发布由内部前沿 AI 模型生成的数百项数学结果，并在 GitHub 公开研究材料、Lean 形式化证明、推理摘要和计算资源信息。
- 公众号：数字生命卡兹克数字生命卡兹克解读 OpenAI 发布 722 份数学手稿及其影响
OpenAI 在 GitHub 仓库 openai/math 发布 722 份数学手稿，归为 372 个成果组，覆盖数论、代数几何、实分析等方向，并称成果来自尚未公开的内部模型。
- The DecoderOpenAI 在 GitHub 发布 372 个 AI 生成数学证明
OpenAI 在 GitHub 发布由内部前沿模型生成的 372 个新数学结果，每个结果旨在解决开放问题或取得实质进展，内容涉及重要计算机算法改进和 Riemann hypothesis 相关推进。
- Latent SpaceAINews：OpenAI 发布 722 篇数学论文，称解决 500 个顶级未解数学问题中的 90 个
OpenAI 公开未发布内部前沿模型产出的 722 篇数学论文，涵盖 372 组结果，平均每项使用约 3 小时 ChatGPT Pro 推理算力，模型本身仍未发布。
- Rohan Paul @rohanpaul_aiOpenAI 发布 722 篇 AI 生成数学证明，矩阵乘法指数上界降至 9/4
OpenAI 发布 722 篇 AI 生成的数学证明手稿，覆盖 372 个数学结果。其内部模型在测试中处理约 4K 个研究问题，再经分组和筛选形成结果族，几乎所有结果都来自同一标准设置，每个结果平均使用相当于 3 小时 ChatGPT Pro 思考的算力。其中一篇论文将两个 n×n 矩阵乘法的已证明复杂度从 AlphaEvolve 在 8 月创下的约 n^2.371177 降至约 n^2.25，并提供 Lean 形式化证明；这是理论界，尚不能直接为真实 GPU 工作负载带来更快例程。
- IT之家OpenAI 发布 722 份手稿，披露未发布前沿模型的数百项数学研究成果
OpenAI 在包含 722 份手稿、涵盖 372 个结果家族的文件中，公布某款未发布前沿模型对数百个长期未解数学问题的解答。资料还包含模型推理过程摘要、算力消耗估算和尝试问题数量，OpenAI 称一项普通成果的算力约等于 ChatGPT Pro 连续思考三小时。
- Rohan Paul @rohanpaul_aiOpenAI 公开内部前沿模型数学成果，722 篇手稿覆盖 372 个数学结果
OpenAI 发布由内部前沿模型产生的一系列新数学成果，完整论文目录包含 722 篇手稿，组织为 372 个重要结果族。该目录来自测试中向模型提供约 4K 个研究问题，再对输出分组和筛选；几乎所有结果都使用相同标准设置，每个结果平均消耗相当于 3 小时 ChatGPT Pro 思考的算力。OpenAI 表示发布过程咨询了 Institute for Advanced Study 的独立数学与人工智能咨询小组，仓库地址为 https://github.com/openai/math。
- The Verge · AIOpenAI 发布 722 份数学手稿，称未发布前沿模型解决数百个开放问题
OpenAI 在 GitHub 发布 722 份数学手稿，覆盖 372 个结果族，称其中包含由未发布前沿模型解决的数百个长期开放数学问题。材料还包含模型推理摘要、算力估算和尝试问题数量，OpenAI 称平均每项结果相当于 ChatGPT Pro 思考 3 小时。
- TestingCatalog @testingcatalogOpenAI 发布由未发布前沿模型求解的数学结果仓库
OpenAI 发布 GitHub 仓库，公开由其未发布内部前沿模型产出的一系列新数学结果，仓库地址为 https://github.com/openai/math。OpenAI 称发布前咨询了 Institute for Advanced Study 的独立数学与人工智能咨询小组。绝大多数结果通过同一流程获得，平均每项结果使用 3 小时 ChatGPT Pro 思考算力，评测中模型共被提出约 4,000 个问题。
- Hacker News：AI 热帖OpenAI 公开内部前沿模型产出的多项数学研究成果
OpenAI 发布由内部前沿模型产出的一系列新数学成果，并在 GitHub 仓库中公开论文、修订与引用协议。仓库包含多项证明的 Lean 形式化、10 份模型推理摘要、ChatGPT Pro 用量估算和尝试题目数量统计，平均每项成果约消耗相当于 3 小时 ChatGPT Pro 思考的算力。
本事件热度走势
当前热度 3·可比范围峰值 49（10月7日 08:00）·近 24 小时可比范围变化 -68%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。