OpenAI一次性公开722篇数学手稿，涉及黎曼猜想等顶级难题但仍待验证_科学技术

1. 宽窄观察#OpenAI 一夜攻克722个数学难题#这篇别跟着“数学大爆炸、古典数学已死”起哄。OpenAI 把 openai/math 一锅端出来：722 篇手稿、372 个结果族、约 4000 个问题、平均每个结果约相当于 ChatGPT Pro 思考 3 小时、部分附 Lean、模型不具名——这是“研究辅助工业化”的里程碑，不是“AI 取代数学家”的丧钟。先泼三盆冷水。第一，准黎曼不是黎曼。仓库 003 给的是 ζ 与所有狄利克雷 L 函数在 Re(s)>7/8 无零点，另有 11/12 版本并一致排除朗道-西格尔零点；离 Re(s)=1/2 的完整黎曼猜想还差整条临界带，离“拿菲尔兹”也还差同行逐行审。数论意义确实大——固定宽度无零点带、统一消西格尔零点，比过去贴着 Re=1 越收越窄的老区域猛得多，但“准”字不能省。第二，霍奇、BSD、挂谷都只是特例或待核。CM 阿贝尔簇/ K3 乘积的霍奇、按密度覆盖部分椭圆曲线族的 BSD、三维极大+四维豪斯多夫挂谷，仓库里是“声称证明”；其中霍奇、四维挂谷、有理数域希尔伯特第十、部分 BSD 未附 Lean 或仅部分形式化。OpenAI 自己 README 都写“未形式化结果可能有问题”，自媒体直接写“攻克千禧难题”属于标题党。第三，形式化覆盖率别被平均数骗。按族算 372 里有 235 族有 Lean 说明页、约 63%，按篇算约 330/722、46%；而且 Lean 页常只覆盖主定理，不覆盖应用推演。准黎曼形式化注明“后续应用不在范围内”，唯一游戏、自由群因子、π 无理性指数等主结论形式化了才算硬，其余先当预印本假设。再批发布姿势。IAS 下属数学与 AI 独立咨询组 9 月建议很清楚：放非实验室控制的学术库、公开模型名、提示词、思维摘要、耗时、算力、失败率；OpenAI 这次只做到一半——给 10 份推理摘要、给平均 3 小时算力、给 BibTeX 和版本留痕，但模型不具名、提示词不公开、仓库在自己 GitHub、4000 题里多少尝试多少失败不拆开。顾问组声明也专门说“给建议≠认可结果、≠认可发布流程”。结合 8 月十题、9 月纳维-斯托克斯抢发、40 位数学家闭门会、Buckmaster/Alpöge 署名争议的大背景，这次仍是“先扔仓库、再让人类阅卷”，营销味大过学术礼数。但也不能写成“全是忽悠”。平均 3 小时出一个可形式化候选、两周批量扫 372 族，说明前沿模型已经不是定理证明玩具，而是能提候选、补技术细节、做大量穷举与归约的研究流水线；Lean 把“人读不读得动”和“逻辑对不对”拆开，未来数学审稿会变成“机器先验、专家再解释”。真正值钱的不只是 7/8 无零点，而是它把数论、几何、TCS、数学物理放进同一个自动研究-形式化闭环。人类数学家的角色会从“从头推证明”转向“出题、判题、翻译、归因、挑反例”——谁会写规格、会验 Lean、会把 AI 输出接回学科脉络，谁才不会被淘汰。OpenAI 这波不是“数学已死”，是“不做形式化、不公开提示、不交失败率的数学发布该死”；722 篇里哪怕最终只有 50 篇经住同行审，也够改写多个分支，但现在就开香槟的，喝的只是 GPU 热量。网页链接

2. 华尔街日报：OpenAI发布数百项数学成果，突破与学术争议同时扩大据这篇报道，OpenAI在宣布解决一道“千禧年大奖难题”约一个月后，于10月6日晚集中公开大量AI生成的数学证明。数学界既震惊于成果规模，也担忧企业竞争正在改变数学研究的方式与价值。- 一次发布722篇论文，涵盖372组数学成果。 OpenAI称，模型共接受了约4,000道问题，研究涉及数论、代数几何等领域，并报告了与剩余五道千禧年难题中三道有关的进展，其中包括黎曼猜想。这里的“相关进展”并不代表三道难题都已解决。- 顶尖数学家给予高度评价。罗格斯大学教授Alex Kontorovich认为，如果相关黎曼研究成果由人类完成，足以获得菲尔兹奖。报道同时呈现了学者仍在消化、审视这些证明的过程。- 企业竞赛引发信任与成果归属争议。 OpenAI称，它是在听说Anthropic已解决至少一道千禧年难题后，才投入数百万美元算力开展攻关。一名学者质疑此前的纳维–斯托克斯证明可能利用了其未发表研究，OpenAI予以否认。- 数学界担心研究被变成模型营销。二十多位菲尔兹奖得主联名发表公开信，警告AI企业争相攻克难题的做法可能损害数学研究的核心目的。一些学者也担心自己的工作被抢先发表，开始赶着公布AI辅助研究成果。- OpenAI调整发布方式，但保留内部测试。公司参考独立数学顾问委员会的建议，整理成果，并为10项结果提供推理过程摘要；对于委员会要求停止使用专有模型测试高等数学问题的建议，公司没有接受。文章呈现的核心问题是：当AI能够批量生成高水平证明，数学界需要重新安排验证、理解、成果归属和研究方向，而这些规则正在受到科技公司竞争速度的冲击。感觉人类真的是没啥事可干了。你干得再好也打不过AI模型。这是一个教授的评论，burton rothberg｜10小时前这次集中发布的成果，所解决问题的广度和难度令人惊叹。其中一项是希尔伯特第十问题。这道题由大卫·希尔伯特在20世纪初提出，是数学界的一座标志性丰碑。据称，他们已经证明：不存在一种通用算法，能够求解有理数域上的整系数多项式方程。仅凭这一项成果，就足以让一位人类数学家成为传奇。此外，他们在黎曼猜想上也取得了重大进展，缩小了ζ函数零点在“临界带”内实部的可能取值范围。还有许许多多其他成果。这是我有生以来见过的最大数学进展——而我已经快80岁了！

3. OpenAI 一次性公开 722 篇 AI 写的数学论文OpenAI 把一个内部未发布模型做出的数学成果整体公开了：722 篇论文，归成 372 组结果，全部放在 GitHub 仓库 openai/math 里，谁都能看。这个模型就是上个月宣称解决了纳维-斯托克斯方程问题（千禧年七大数学难题之一）的那个。它从 8 月 28 日开始训练，能力比 OpenAI 已发布的 GPT-6 Astra 更强，目前还没对外开放。OpenAI 说，原有的数学测试题已经难不住模型了，所以改拿真实的未解数学问题来考它。前后一共给了模型大约 4000 道题，筛掉分量不够的，剩下这 372 组。平均每个结果花的算力，相当于在 ChatGPT Pro 里思考三个小时左右。论文覆盖数论、代数几何、组合、数学物理等大部分数学分支。标题里能看到不少有名的问题，比如证明 π 的无理性测度（衡量一个数能被分数逼近得多好）等于 2，证明卡塔兰常数是无理数，还有黎曼 ζ 函数零点分布、特殊情形下的霍奇猜想。后两项 OpenAI 特别说明，用的流程和其他结果不同，其中黎曼 ζ 那篇的文字还经过人工润色。这些结论可信吗？OpenAI 自己的说法是“处在不同验证阶段”。约 160 篇的主要结论附带了 Lean 形式化证明。Lean 是一种能让计算机逐步检查数学证明的编程语言，过得了 Lean，基本可以排除证明里的逻辑漏洞。剩下的论文还没形式化，OpenAI 承认其中可能有错，说会尽快修正，所有修订都保留历史版本。另外还附了 10 份模型推理过程的摘要，让人能看到模型是怎么想出来的。发布方式本身也是这次的重点。9 月下旬，OpenAI 在普林斯顿高等研究院（爱因斯坦待过的那个研究所）支持成立了独立的“数学与人工智能顾问组”，成员是 Timothy Gowers、Edward Witten、Martin Hairer 等 9 位数学家，不拿 OpenAI 的钱。此前 25 位菲尔兹奖得主联名发公开信，批评 AI 公司抢着宣布破解名题的做法。顾问组 9 月 29 日发布了一份建议，征集了 600 多位数学家的意见。核心要求有三条：AI 写的证明要按正规论文格式重写，并引用相关的已有文献；成果要放进不受 AI 公司控制、可长期引用的学术存档平台；AI 公司要出钱支持数学界去真正理解这些成果。顾问组还明确表示，不赞成 AI 公司在外界用不到的私有模型上攻数学难题，希望它们停下来。OpenAI 这次回应了其中一部分：先放 GitHub，同时在找符合顾问组标准的社区托管平台；承诺资助一系列研讨会、学术会议，帮数学界消化这批成果；也表示正在推进“负责任地发布”这个模型。至于停止在私有模型上测试，OpenAI 没有回应。对数学专业的人来说，接下来最实际的变化是：自己研究方向上的某个猜想，可能已经躺在这 722 篇论文里了，值得去仓库里翻一翻。原文：网页链接仓库：网页链接

4. OpenAI 今天一口气甩出 377 项 AI 生成的数学成果，说解决了四维 Kakeya 猜想、还往黎曼猜想推进了一步。听起来很猛，但这次连陶哲轩都出来说前沿实验室这个产出速度"太疯狂了"。说实话，我第一反应是没太兴奋。一个月前他们刚因为纳维-斯托克斯方程那事被质疑过署名和思路来源，这次学乖了点，把结果放 GitHub、还配了部分 Lean 形式化证明。但模型没发布、提示词也没公开，别人根本没法复现。MIT 有个数学家说得挺直白：在能复现之前，"单个 AI 一次做出来"这种话都当没证实看。我觉得这事真正的别扭点在于，数学本来是要人一条条审的，AI 一小时能产几百条，学界压根消化不过来。真要论价值，得等同行把证明啃完才知道是"真突破"还是"已有技术拼的"。这口我先不接。

5. 一个月前，OpenAI 为了攻克一道世界级数学难题，出动了整整10000个人工智能体，烧掉了数百万美元的算力。一个月后，他们直接往桌上砸了372道。10月6日，OpenAI 在代码托管平台 GitHub 上公开了一批新成果，一共372项数学和理论计算机科学结论。按 OpenAI 的说法，每一项都解决或者推进了一道长年悬而未决的重大难题。清单上有四维挂谷猜想（Kakeya conjecture）的解答，有多项关键计算机算法的改进，还有朝黎曼猜想（Riemann hypothesis）迈出的实质一步。挂谷猜想问的是，一根针在空间里转一整圈，最少要占多大地方。它听起来像小学生的脑筋急转弯，却困住了数学家100多年。它的三维版本直到2025年才被人类攻克，攻克它的王虹因此拿了2026年的菲尔兹奖。黎曼猜想关乎质数在数轴上的分布规律，悬赏100万美元，160多年无人能解，被视为数学界最令人畏惧的难题。而这一次，答案的生产方式和一个月前完全不同。OpenAI 官方发言人透露，这一次几乎每道难题都只靠一个单独运行的内部模型、一条提示词就解决了，没有动用成千上万的智能体集群。如果这是真的，强大的数学推理能力可能很快就会变成普通人唾手可得的工具。这372份答案并不是无法验证的胡思乱想。其中很多证明已经输入进名为 Lean 的数学逻辑验证程序。这个程序会像严苛的编译器一样逐行检查推导步骤，能通过它核验的证明，逻辑上几乎不可能有漏洞。但逻辑没错，只是第一道关。全球数学家接下来得花上好几个月，才能梳理清楚这堆证明里究竟包含着人类未曾想过的新鲜思想，还是一堆现有技巧的高级拼凑。“一条提示词”的说法，更难让人信服。美国麻省理工学院（MIT）数学家安德鲁·萨瑟兰（Andrew Sutherland）直截了当地表示，在 OpenAI 公开模型、外界能够独立复现之前，任何关于单一模型一次搞定难题的说法都算不上得到证实，大家需要看到实在的证据。面对质疑，OpenAI 发言人随后表示，部分结果可能经过了多次尝试。双方的摩擦早有苗头。一个月前那道动用了10000个智能体的难题，就是纳维-斯托克斯问题（Navier-Stokes），它研究的是描述水流、气流如何运动的一组方程，同样是悬赏100万美元的千禧年大奖难题。OpenAI 上个月宣称解决了它，发布方式随即引发巨大争议。9月21日，OpenAI 宣布组建一个由数学家组成的独立顾问委员会，探讨如何规范发布机器生成的学术成果。这个委员会给出的建议很明确：发布此类成果的机构，必须公开具体的模型、准确的提示词以及消耗的算力时间。OpenAI 显然没有完全照办。他们声称认真对待了这些建议，但也强调自己不受这些规范约束。这次他们依然锁住了具体的提示词，也没有公开模型本身，只给出了每道题平均消耗的算力时间和一些统计数据。学术界对这种做法的反应两极分化。加拿大多伦多大学数学家丹尼尔·利特（Daniel Litt）觉得没必要把答案藏起来，如果人类想知道这些数学谜题的真相，公司公布出来总归是件好事。美国加利福尼亚大学洛杉矶分校数学家陶哲轩（Terence Tao）此前公开批评了这股风潮，认为顶尖人工智能实验室倾倒机器成果的速度已经快到了疯狂的地步。连 OpenAI 自家的数学家都快跟不上这个节奏了。该公司的发言人坦白，这372项成果里，很多推导逻辑连他们自己的研究人员都还没来得及看懂。证明是机器写的，正确性是机器验的，人类读者还没跟上，包括制造它们的人。但 OpenAI 并不打算减速。他们坚持把这些高难度数学难题当作最好的磨刀石，用它们来证明自己的模型正在真正变聪明。对那些穷尽一生追求数学真理的人来说，这场竞赛要把数学带向何方，已经越来越没人说得准了。～～～～～～图为融化进点线屏幕中的蓝色计算机大脑，图源：Yuichiro Chino/Getty Images信源：Howlett, Joseph. "OpenAI Unleashes Hundreds More Math Results upon a Field Already in Shock." Scientific American, edited by Lee Billings, 6 Oct. 2026

6. 突发！OpenAI一次放出722篇数学成果，准黎曼猜想、4D挂谷都在列

7. OpenAI发布前沿大模型的全新数学能力测试成果

8. 刚刚，OpenAI甩出722篇数学论文！准黎曼猜想也来了，奥特曼要让数字家「瘫坐」

9. OpenAI一次发布大量数学成果

10. OpenAI公布722篇数学手稿,其中一部分可被计算机逐行验证

11. OpenAI大模型新数学能力测试成果引发关注

12. OpenAI发布722篇数学手稿，每项成果耗时约3小时ChatGPT Pro算力

13. 722篇!OpenAI一次发布大量数学成果

14. OpenAI发布722篇数学手稿，30个重磅成果引关注

15. OpenAI发布AI数学研究，解决数百悬而未决难题！

16. OpenAI发布700余篇含AI生成解答的数学新论文

17. OpenAI发布722份数学手稿，攻克372个数学难题

18. OpenAI发布722份手稿揭示数百数学难题解决方案

19. OpenAI发布又一批AI数学研究成果，攻破数百个悬而未决难题

20. OpenAI攻破数百个数学难题,带来关于研究伦理和学术行为的疑问

21. OpenAI发布377项AI数学成果，引发学界热议

22. OpenAI发布722份AI数学研究成果，解答多项难题

23. OpenAI一次性公开377项AI数学成果,引发学界验证质疑

24. OpenAI发布377项AI生成数学成果，引发学界广泛关注

25. OpenAI发布前沿大模型的全新数学能力测试成果‌

26. OpenAI发布新数学能力测试，革命性成果引发关注

27. OpenAI前沿大模型助力数学能力测试的突破

OpenAI一次性公开722篇数学手稿，涉及黎曼猜想等顶级难题但仍待验证

精选参考来源