OpenAI 发布数百项 AI 数学成果引学界抵制
先了解这件事
2026 年 10 月，OpenAI 在 GitHub 一次性发布由内部未公开前沿模型产出的数学手稿，共 722 篇、归入 372 个结果家族，覆盖数论、代数几何、理论计算机、统计力学等 17 个方向，称其中包含对数百个数学开放问题的解答。OpenAI 称模型共尝试约 4000 个问题，平均每个结果约相当于 ChatGPT Pro 思考三小时的算力，并公开了 10 份推理摘要；部分结果附有 Lean 形式化，约 42% 的证明未形式化，OpenAI 承认未形式化结果可能存在问题。此举引发学界反弹：数学与人工智能咨询组织 AGMAI 与 AHM 指出，OpenAI 违背了不应在专有内部模型上测试高难度数学问题的前提；陶哲轩牵头 AHM 联合声明，敦促数学家停止与 OpenAI 合作，Scott Aaronson 称其为 Mathocalypse，普林斯顿高等研究院表示不认可这一做法。也有数学家认为结果令人印象深刻，Peter Scholze 呼吁保持耐心。
AI 根据报道生成 · 2 天前更新
事件进展
- · 1篇报道陶哲轩牵头人类数学协会联合声明抵制OpenAI
- · 2篇报道Aaronson称AI公司正内部探测模型密码破解能力
- · 1篇报道OpenAI将发布超100个未解数学问题新解
- · 11篇报道OpenAI发布内部前沿模型生成的数学成果
- · 1篇报道AI实验室宣称攻克多项数学难题引发学界争议
后续时间线
- RedditReddit r/OpenAI· 讨论Some recurring tricks in the OpenAI math release（新标签页打开原帖）
- RedditReddit r/OpenAI· 讨论OpenAI's latest blow to mathematicians: 'They have annihilated my field of research'（新标签页打开原帖）
- XX @haider1· 讨论this is still absolutely insane to me（新标签页打开原帖）
- 量子位OpenAI 手稿声称证明四维挂谷集 Hausdorff 维数猜想，推进王虹三维成果
OpenAI 于 10 月 7 日一次性公开 722 篇数学手稿，其中编号 074 的两篇共 272 页，声称证明了三维挂谷极大函数猜想和四维挂谷集的 Hausdorff 维数猜想，作者栏只写 OpenAI。三维那篇把王虹与 Joshua Zahl 的集合版结果加强到极大函数版本，四维那篇把此前卡在 3 点几的维数下界直接推到 4，并引用了三维论文中的一个引理。两篇均未做 Lean 形式化，也未经过同行评审，OpenAI 在 README 中称部分未形式化结果可能有问题；四维只证了 Hausdorff 维数版本，未解决四维极大函数猜想，五维及以上仅用投影给出下界。陶哲轩牵头的人类数学协会（AHM）随后发表声明，敦促数学家停止与 OpenAI 合作。
- XX @AISafetyMemes· 讨论"OpenAI's model solved most of the math problems from a single prompt.（新标签页打开原帖）
- The Decoder精选OpenAI 一次放出 700 余篇数学手稿，数学家群体反应震惊与愤怒
OpenAI 于 2026 年 10 月 6 日一次性发布 700 余篇手稿，声称解决了数百个未解数学问题，数学博客 Proofs and Prompts 随后收集了 100 多位研究者的回应。部分论文已被撤回，另一些因难以阅读受到批评，但也有专家称结果令人印象深刻。菲尔兹奖得主 Peter Scholze 呼吁保持耐心，并警告这类系统可能找到破解广泛使用加密方法的方式；Terence Tao 认为 AI 生成的证明引入了有价值的新想法，但对缺少能讨论、讲授这些工作的人感到沮丧。Alvaro Lozano-Robledo 称这可能是数学史上最重要的一天，同时指出 OpenAI 瞄准黎曼猜想只得到较弱变体。Ben Green 称部分结果令他震惊，称其解决了自己当年 6 月获得的欧洲资助中约四分之三的研究目标。
- XX @rohanpaul_ai· 讨论Tristan Buckmaster, NYU Mathematics professor:（新标签页打开原帖）
- Hacker NewsHacker News· 讨论OpenAI mistranslated mathematics into code for its Navier-Stokes proof（新标签页打开原帖）
- The Verge AI精选OpenAI 一次性发布近 400 项 AI 生成数学结果，数学家称需数年消化
OpenAI 本周发布近 400 项 AI 生成的数学结果，分布在 700 多份手稿中，覆盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学、数学物理等多个方向，并为此在 GitHub 仓库中发布了导航指南。多位数学家对 The Verge 表示，仅通读约 40 页的目录和摘要就要花近一小时，完全理解这批结果可能需要数年。OpenAI 称 719 份手稿中只有 300 项主要结果完成了 Lean 形式化，约 42%，并承认结果处于不同验证阶段。伦敦帝国理工学院的 Kevin Buzzard 称在其代数数论领域只找到约六项立即引人注目的定理，且几乎没有经过 Lean 形式化验证。部分研究者提到论文篇幅异常简短、参考文献偏少，并担心署名不完整；截至 10 月 8 日，该记录已列出多项更正，包括十余份手稿的修订和因符号错误撤回三篇论文。
- RedditReddit r/LocalLLaMA· 讨论OpenAI's math findings built on stolen user data（新标签页打开原帖）
- RedditReddit r/OpenAI· 讨论Prof. Tristan Buckmaster on the controversy over OpenAI's math findings（新标签页打开原帖）
- 网页Don't Worry About the Vase· 讨论New Math from OpenAI（新标签页打开原帖）
- 网页爱范儿· 讨论陶哲轩转发抵制声明，数学界和OpenAI彻底撕破脸（新标签页打开原帖）
- 网页Bloomberg Technology· 讨论How AI Is Upending the World of Mathematics（新标签页打开原帖）
- 网页cnBeta· 讨论菲尔兹奖得主陶哲轩点名批评OpenAI（新标签页打开原帖）
- 量子位陶哲轩牵头人类数学协会（AHM）联合声明抵制 OpenAI
菲尔兹奖得主陶哲轩牵头人类数学协会（AHM）发布联合声明，敦促全球数学家停止与 OpenAI 合作，并呼吁公众对其发布模式保持怀疑。声明指责 OpenAI 无视数学与人工智能咨询小组（AGMAI）关于不应在内部模型上擅自测试高深数学难题的红线警告，用内部模型测试约 8000 个开放数学问题、命中率约 5%，并发布 700 多份机器生成证明草稿。图灵奖得主杨立昆则公开表示，数学正迎来形式证明大幅自动化的新时代。
- Hacker NewsHacker News· 讨论OpenAI, the Partition Principle, and Mathematics（新标签页打开原帖）
- 网页Bloomberg Technology· 讨论OpenAI’s Math Advances Spark a Reckoning for Academia（新标签页打开原帖）
- The Decoder数学家呼吁抵制 OpenAI，抗议 AI 生成证明大量涌入数学领域
一群数学家（AHM）发表声明，呼吁抵制 OpenAI，起因是该公司一次性放出 700 多个 AI 生成的数学证明文件，被视为展示力量而非学术贡献。菲尔兹奖得主 Terence Tao 在其博客转发该声明，并提出数学应进入不再以解题为核心衡量标准的 Math 2.0 时代；复杂性理论家 Scott Aaronson 称这一局面为 Mathocalypse。声明指出 OpenAI 的发布违背了其顾问组织 AGMAI 的核心前提，即高级数学问题不应在内部模型上测试，并提及 OpenAI 面临的多起版权诉讼。Aaronson 对比称，OpenAI 一次性放出原始证明草稿，让社区无偿承担整理工作；Anthropic 则与两名算法研究者合作，由 AI 提供关键思路推翻两个二十年悬而未决的猜想，研究者获得报酬并写出人类可读的证明。
- TechCrunch AIOpenAI 发布的数学解答未达到学界标准
OpenAI 本周发布数百份高难度数学问题解答，但未完全符合普林斯顿高等研究院 AGMAI 九月底提出的规范。AGMAI 的首要建议是停止在专有模型上测试高等数学问题，而 OpenAI 明确表示正用开放研究问题评估其专有模型。719 份手稿中仅 10 份公开了模型的思维链，42% 的证明未经过形式化。剑桥大学与伦敦国王学院数学家的新论文记录了 OpenAI 针对 Navier-Stokes 方程衍生问题的解答中，自然语言证明与 Lean 代码之间至少两处不一致，认为这类自动形式化证明在未经同行评审前不应被直接信任。数学家 Terence Tao 与哈佛大学教授 Melanie Wood 均指出，模型给出解答时人类尚未理解结果，后续工作才刚开始。
- 网页Don't Worry About the Vase· 讨论AI #189: New Math（新标签页打开原帖）
- Hacker NewsHacker News· 讨论AHM Statement on OpenAI's October 6 Release of Mathematical Documents（新标签页打开原帖）
- Hacker NewsHacker News· 讨论OpenAI Withdraws 3 Math Papers（新标签页打开原帖）
- Hacker NewsHacker News· 讨论OpenAI withdraws three mathematical results（新标签页打开原帖）
- Hacker NewsHacker News· 讨论Terence Tao Responds to the OpenAI Math Drop（新标签页打开原帖）
- XX @rohanpaul_ai· 讨论Mathematicians are coping so hard. Suddenly they can not stand AI. 😀（新标签页打开原帖）
- XX @rohanpaul_ai· 讨论Math will progress at a breakneck speed from here on.（新标签页打开原帖）
- 网页The Washington Post · Technology· 讨论OpenAI releases progress on more than 300 math research problems, stunning humans（新标签页打开原帖）
- 网页SiliconANGLE · AI· 讨论OpenAI publishes 722 AI-generated math discoveries in major scientific milestone（新标签页打开原帖）
- Scott Aaronson精选Scott Aaronson 评 OpenAI 放出 372 项数学结果：数学界的 Mathocalypse
Scott Aaronson 撰文记录 OpenAI 一次性发布 372 项数学结果，其中包括他妻子 Dana Moshkovitz 长期研究的 Unique Games Conjecture（UGC）证明，部分结果附有 Lean 证书，但几乎没有人类读懂这些证明。他列举了 L=BPL、Fourier Transform 与整数乘法突破 O(n log n)、Unitary Synthesis Problem 等结果，并指出 P≠NP、P=BPP 等最大难题仍未被解决。他提到该模型是 OpenAI 最新内部模型，平均每题约用 3 小时 GPT-Pro 级算力，在约 8000 道题中仅解决约 5% 的长期开放问题，是否向付费 ChatGPT 用户发布取决于 OpenAI 安全委员会的建议。
- XX @haider1· 讨论i'm still trying to process this（新标签页打开原帖）
- The Guardian · 人工智能OpenAI 发布 370 余项数学成果引发学界担忧
OpenAI 于周二发布 370 多项数学结果，涵盖代数、理论计算机科学与数学逻辑等方向，展示其最先进 AI 模型的能力。此前该公司用 AI 求解 Navier-Stokes 方程，引发领域内担忧，认为前沿实验室不应在数学界无法访问的专有模型上测试最难的数学问题。普林斯顿高等研究院表示不认可这一做法，指出 AI 可以输出提示者本人无法理解、验证或负责的数学论证，并呼吁在负责任的学术产出中保留人类对数学的理解。OpenAI 宣布将与高等研究院合作，让数学家在其推进方式上有发言权，但未表示会停止用这些高难度问题测试模型。纽约大学数学家 Tristan Buckmaster 对《纽约时报》表示，提示 AI 求解方程的人可能提供了帮助模型得出结论的信息。
- XX @haider1· 讨论well well well（新标签页打开原帖）
- 公众号Doonsec· 讨论AI 数学突破周：OpenAI 一夜 722 篇，Claude 证出概率论圣杯（新标签页打开原帖）
- XX @haider1· 讨论holy shit.（新标签页打开原帖）
- The Decoder精选OpenAI 在 GitHub 发布 372 条 AI 生成的数学证明
OpenAI 发布了由内部前沿模型生成的 372 条数学结果，每条据称解决一个开放问题或取得实质进展，其中包含对重要计算机算法的改进以及与黎曼猜想相关的推进。结果托管在 GitHub 仓库中，附有修订日志和引用，部分证明提供了 Lean 形式化，以便机器校验、缓解人工评审压力。OpenAI 称几乎每条结果都来自对单个 AI 智能体的单次提示，平均消耗约三小时 ChatGPT Pro Thinking 算力，而此前一项 Navier-Stokes 问题的解需要 1 万个智能体组成的集群和数百万美元算力。公司未公布提示词，只给出平均算力成本，并称曾咨询高等研究院数学与人工智能咨询小组，但事先设定该小组只能就结果如何传播提建议，不能干预结果是否或多快产出。
- XX @haider1· 讨论i love how openai is going with mathematicians:（新标签页打开原帖）
- 网页cnBeta· 讨论OpenAI 一夜攻克722个数学难题 准黎曼猜想已被证明（新标签页打开原帖）
- 网页cnBeta· 讨论OpenAI再公布数百项数学成果 AI正在把数学研究推向前所未有的转折点（新标签页打开原帖）
- XX @natolambert· 讨论Naming the github repo for this "math" is hilarious（新标签页打开原帖）
- 量子位OpenAI 公开 722 篇数学手稿，涉及多个数学方向
OpenAI 公开了 722 篇数学手稿，归为 372 组结果，全部出自一个尚未发布的内部模型，论文、源码和部分 Lean 证明已上传 GitHub。据 OpenAI 介绍，模型共尝试约 4000 个研究问题，平均每项结果消耗的算力约相当于 ChatGPT Pro 思考 3 小时。手稿涉及准黎曼猜想、霍奇猜想、BSD 猜想、π 的无理性指数、唯一游戏猜想等，覆盖数论、代数几何、理论计算机、统计力学等 17 个方向。仓库说明这些手稿核验进度不一，部分成果尚无 Lean 形式化证明，其中黎曼 ζ 函数实部大于 11/12 的证明经过人工编辑。由九位学者组成的独立数学与 AI 顾问组发声明称，此前给 OpenAI 提过建议，但不代表认可这些结果或 OpenAI 的产出过程，证明是否成立需由各领域数学家消化。
- XX @haider1· 讨论so much progress in math（新标签页打开原帖）
- XX @rohanpaul_ai· 讨论OpenAI today released 722 AI generated math proofs.（新标签页打开原帖）
- AHMAHM 就 OpenAI 10 月 6 日发布数学文档发表声明
数学与人工智能咨询组织 AHM 就 OpenAI 于 10 月 6 日发布的一批数学手稿仓库发表声明，称其一次性放出超过 700 个文件并非学术展示而是权力展示。AHM 指出，OpenAI 自称其合法性来源的咨询小组曾明确表示前沿 AI 公司不应在内部模型上测试高难度数学问题，而 OpenAI 无视了这一核心前提。AHM 呼吁数学家停止与 OpenAI 合作，并提醒数学界与公众对该发布模式的价值保持怀疑。
- Hacker NewsHacker News· 讨论OpenAI just dropped 700 preprints of mathematical proofs and counterexamples（新标签页打开原帖）
- The Verge AIOpenAI 公开 722 篇数学手稿，顾问组称含数百个开放问题解法
OpenAI 发布了一批共 722 份手稿，覆盖 372 个结果族，称其中包含对数百个数学开放问题的解答，这些结果由一个未公开的前沿模型产出。据新成立的独立数学家顾问组织 AGMAI 介绍，这批结果涉及数百个开放问题；OpenAI 此前在 9 月表示其模型已解决数学各领域 100 多个长期开放问题。发布内容还包括部分模型推理摘要、算力使用估算以及尝试问题数量的统计，OpenAI 称平均每个结果相当于 ChatGPT Pro 思考三小时。AGMAI 在 9 月下旬发布首批建议，呼吁 AI 实验室及时通过既有学术渠道发布数学结果，并披露模型名称、提示词和算力成本，同时不要将数学成果发布当作推广模型的营销手段。OpenAI 表示此次通过 GitHub 仓库发布，并配有论文修订与引用协议，未来将改进论文的引用、数学表述和呈现质量。
- XX @Thom_Wolf· 讨论No hype, just the results. Good.（新标签页打开原帖）
- Hacker NewsHacker News· 讨论Mathematical manuscripts and supporting proof artifacts produced by OpenAI（新标签页打开原帖）
- RedditReddit r/OpenAI· 讨论OpenAI: Sharing AI progress in mathematics（新标签页打开原帖）
- Hacker NewsHacker News· 讨论Sharing AI progress in mathematics（新标签页打开原帖）
- RedditReddit r/OpenAI· 讨论OpenAI Is Pissing Off a Bunch of Mathematicians—Again（新标签页打开原帖）
- WIRED Security and AIOpenAI 计划在 GitHub 一次性发布数百个 AI 求解的数学难题结果，数学家批评其绕过学术规范
OpenAI 计划于周二在 GitHub 上一次性发布数百个未解数学问题的求解结果，此前该公司在 8 月曾召集约 40 名数学家讨论 AI 能力超越人类后的应对方式。据与会者回忆，OpenAI 当时暗示其模型已解决数百个长期悬而未决的数学问题，并承诺不会一次性全部发布，但数学家建议以论文形式发布以便消化和验证，西北大学数学家 Bryna Kra 称这一建议被忽视。OpenAI 发言人 Lindsay McCallum 表示，公司正依据高等研究院数学与人工智能咨询小组的建议负责任地发布下一批结果，尚未确定发布时间。Kra 提到，社区今年已建立 Hexagon 和 Palomar 等工具应对机器辅助证明的增加，但 OpenAI 未改变发布方式，也与 4000 多名数学家签署的 Leiden 宣言不符。
- OpenAI精选OpenAI 发布内部前沿模型产出的数学结果并公开推理摘要
OpenAI 发布了一批由内部前沿模型产出的数学结果，并在 GitHub 仓库中公开，附带论文修订与引用协议。仓库同时提供许多证明的 Lean 形式化，供计算机检查，并会随获取进度持续更新。为提升透明度，OpenAI 还公布了 10 份模型推理摘要、以 ChatGPT Pro 用量估算的算力消耗以及尝试题目数量的统计，平均每个结果约相当于三小时 ChatGPT Pro 思考的算力。OpenAI 表示正与普林斯顿高等研究院的数学与人工智能咨询小组协商发布规范，并将资助围绕理解 AI 重大成果的研讨会、会议和特别项目，同时继续评估内部前沿模型在数学等科学领域的能力。
- OpenAI精选OpenAI 发布内部模型产出的数学研究手稿库
OpenAI 在 GitHub 发布由内部未公开模型产出的数学手稿与证明工件，目录包含 722 篇手稿、归入 372 个结果家族，按数学学科分类。这些结果大多由同一套流程得到，平均每个结果消耗三小时 ChatGPT Pro 思考算力，评估期间模型共被提出约 4000 个问题。集合中部分结果已有 Lean 形式化，部分尚未形式化，OpenAI 表示未形式化的结果可能存在问题并会尽快修复，同时还在探索由社区托管这些材料。OpenAI 还发布了覆盖 10 个结果家族的模型推理摘要，包括 π 的无理性指数、Mahler 猜想、Kaplansky 直接有限性猜想等主题。该集合将保留公开版本历史，修订以新版本记录，旧版本继续可访问。
- The Verge AIOpenAI 等实验室攻占数学界引发的争议
过去一年，OpenAI、Anthropic 等实验室宣称在多个长期未解的数学问题上取得突破，甚至解决了一个著名的千禧年大奖难题，进展超出研究者对现有系统的预期。这些成果引发学界反弹，而非庆祝，AI 实验室表示正从早先的错误中吸取教训。
相关讨论
- RedditReddit r/OpenAISome recurring tricks in the OpenAI math release（新标签页打开原帖）
- RedditReddit r/OpenAIOpenAI's latest blow to mathematicians: 'They have annihilated my field of research'（新标签页打开原帖）
- 网页TechRadarHas OpenAI started the 'mathpocalypse'? Experts say AI's solving of iconic math problems may cause huge issues in the long run（新标签页打开原帖）
- 网页新智元MIT教授绝望：OpenAI攻克的千禧年难题，人类已经看不懂了！（新标签页打开原帖）
- XX @rohanpaul_aiSome students at Northwestern University are now asking whether they should stay in mathematics at all, after OpenAI posted hundreds of A...（新标签页打开原帖）
- XX @haider1this is still absolutely insane to me（新标签页打开原帖）
- RedditReddit r/OpenAIOpenAI's unreleased model solved most of the math problems from a single prompt. It did not even exist before the end of August. Each problem used ~3 hours of thinking.（新标签页打开原帖）
- XX @AISafetyMemes"OpenAI's model solved most of the math problems from a single prompt.（新标签页打开原帖）
- XX @rohanpaul_aiTristan Buckmaster, NYU Mathematics professor:（新标签页打开原帖）
- XX @rohanpaul_aiProfessional Mathematicians are unsettled because AI can now publish novel work before they do.（新标签页打开原帖）
- 72 小时以前 · 不计入 72 小时的数字
- 网页IT之家OpenAI 公布大批数学研究成果引发学界巨震，学者担忧破坏学术合作传统（新标签页打开原帖）
- Hacker NewsHacker NewsOpenAI mistranslated mathematics into code for its Navier-Stokes proof（新标签页打开原帖）
关注度走势
每天新增来源
- 10月6日新增4个来源（2家媒体、2个账号）
- 10月7日新增17个来源（9家媒体、8个账号）
- 10月8日新增9个来源（8家媒体、1个账号）
- 10月9日新增4个来源（3家媒体、1个账号）
- 10月10日新增1个来源（0家媒体、1个账号）
- 10月11日新增1个来源（0家媒体、1个账号）
- 10月12日新增0个来源（0家媒体、0个账号）
- 10月13日新增1个来源（1家媒体、0个账号）