人工智能 · 文章
OpenAI的722篇人工智能生成数学论文在数学家中引发赞叹与警惕
发布:
要点
2026年10月6日,OpenAI发布了722篇人工智能生成的手稿,涵盖372个数学问题,包括涉及黎曼假设的一项结果。数学家的反应差异很大,从将其称为历史性里程碑到警告验证未能跟上所声称的进展。
此版本是原文（English）的机器翻译。 阅读原文
OpenAI发布了什么以及何时发布
2026年10月6日,OpenAI在GitHub上发布了722篇手稿,分为372个相关结果家族,均由该公司未曾公开发布的内部模型生成,根据xenospectrum.com和专注于AI的通讯Latent.space。该公司表示该模型已被用于大约4000个数学问题,Latent.space报道称,平均每个接受的结果所需计算量约相当于ChatGPT Pro推理时间的三小时。
一篇手稿涉及研究人员称为"准黎曼假设"的内容:声称某些Dirichlet L函数的零点不存在于实部超过7/8的位置。Xenospectrum.com指出这并未解决实际的黎曼假设,该假设涉及实部恰好为1/2的零点,至今仍是未解决的Clay数学研究所千禧年大奖问题。
数学家中的赞叹与警惕
反应差异很大。数学家Levent Alpöge被Latent.space描述为与Anthropic关联,他称这次发布"显然是数学史上最重要的时刻"。The Conversation报道称,其他数学家印象远不如此:一位评审员将部分批次称为"倒在我们门前的巨大垃圾堆",一位资深数学家说其中一篇论文晦涩难懂,如果按照常规方式提交给期刊,它会直接被扔进垃圾桶。
这显然是数学史上最重要的时刻。
The Conversation还报道称,ChatGPT本身将该批次中至少一项结果标注为"严重幻觉",并且多篇论文在发现错误后随后被撤回或修改。
验证差距
关于该发布中有多少已被机器检查,不同来源的说法存在差异。Xenospectrum.com追踪了OpenAI截至2026年10月7日的官方形式化目录,计算出722篇手稿中有162篇——约占22.4%——的结果在证明验证语言Lean中形式化。相比之下,The Conversation报道称OpenAI已使用Lean型软件形式化了300个主要结果。Xenospectrum.com补充说,即使完成的Lean形式化也仅确认了证明的逻辑步骤,而不是论文中每个解释性声明都已被独立验证。
Tech-insider.org报道称,一个包括菲尔兹奖获得者Terence Tao的顾问小组已成立,以帮助管理OpenAI的结果如何向公众传达,但该小组的角色明确是就发布提出建议,而不是独立验证结果的正确性。同一媒体引用了9月的声明,称OpenAI的模型使用约10000个AI代理工作约88小时,已生成了与Navier-Stokes存在性和光滑性问题相关的证明——另一个千禧年大奖问题——Clay数学研究所仍将其列为活跃而非已解决,意味着尚未完成独立验证。
数学家仍在争议的问题
除了正确性外,tech-insider.org报道称对OpenAI"先发布后验证"的方式表示担忧,这颠倒了数学传统上的运作方式,将缓慢、对抗性的同行评审负担转移到已经捉襟见肘的数学社区。The Conversation报道了与较早的Navier-Stokes声称相关的涉嫌数据滥用引起的额外不安,由数学家Tristan Buckmaster和Levent Alpöge提出——OpenAI已否认这些指控——以及该领域对研究被AI系统"抢先"以及这类工具的增长对数学作为职业意味着什么的更广泛焦虑。
| 指标 | 数据 | 来源 |
|---|---|---|
| 已发布的手稿 | 722 | xenospectrum.com, Latent.space |
| 结果系列 | 372 | xenospectrum.com, Latent.space |
| 尝试的问题数 | ~4,000 | Latent.space |
| 每个结果的平均计算时间 | ~3小时ChatGPT Pro推理 | Latent.space |
| Lean形式化的手稿 | 162 (22.4%) | xenospectrum.com |
| Lean形式化的主要结果(备选计数) | 300 | The Conversation |
| 发布日期 | 2026年10月6日 | xenospectrum.com |
常见问题
- OpenAI的模型解决了黎曼假设吗?
- 没有。一篇手稿声称了一个相关但较弱的结果,即"准黎曼假设",涉及实部超过7/8的Dirichlet L函数的零点;实际的黎曼假设涉及实部恰好为1/2的零点,根据xenospectrum.com仍未解决。
- OpenAI发布了多少篇论文,何时发布的?
- 根据xenospectrum.com和Latent.space,OpenAI于2026年10月6日发布了722篇手稿,组织成372个结果系列。
- OpenAI的Navier-Stokes声称是否已被独立验证?
- 没有。Tech-insider.org报道称,尽管有关于大约10000个AI代理工作约88小时的较早声称,Clay数学研究所仍将Navier-Stokes问题列为活跃而非已解决。
- 数学家对该发布最批评的是什么?
- 报告的担忧集中在发布速度与验证速度之间的不匹配上:只有少数手稿已在Lean中正式检查,一些论文包含需要撤回的错误,根据The Conversation和tech-insider.org,"先发布后验证"的方式颠倒了传统的缓慢同行评审过程。
- 什么模型生成了这些结果?
- 根据xenospectrum.com和Latent.space,OpenAI尚未发布用于生成手稿的模型;它仍然是一个内部的、未发布的系统。
来源
- The Conversation — Is this the 'mathocalypse'? Why OpenAI's latest results dump has left mathematicians in shock
- Latent.space (AINews) — Quasi-Riemann-Hypothesis: OpenAI publishes 722 math papers
- tech-insider.org — Tao Group Scrutinizes OpenAI's 722 Math Claims
- xenospectrum.com — OpenAI Publishes 722 AI-Generated Math Manuscripts, Including Work Tied to the Riemann Hypothesis
本文由人工智能撰写，发布前已通过自动来源核查。如发现错误，请申请更正。 申请更正或回应 · 我们如何制作
相关文章
人工智能文章
GPT-6 是什么，大语言模型实际上如何工作？
GPT-6 是 OpenAI 的最新模型系列，自 2026 年 9 月以来分阶段推出，名称分别为 Astra、Sol 和 Luna，其中 Sol 和 Luna 于 2026 年 10 月 7-8 日覆盖所有 ChatGPT 用户。与其他大语言模型一样，它通过使用在海量文本上训练的 Transformer 神经网络来预测下一个单词来生成答案，而不是像人类那样进行推理。
人工智能文章
新影片《人工智能》将OpenAI 2023年董事会危机搬上银幕 引发AI风险辩论
《人工智能》是卢卡·瓜达尼诺执导的一部悲喜剧，以OpenAI 2023年董事会危机为背景，通过描绘首席执行官山姆·奥特曼被解除后又被重新聘用的经历，反映了公众对人工智能的广泛焦虑。影片由安德鲁·加菲尔德主演，追踪了从杰弗里·辛顿早期研究到ChatGPT发布的人工智能发展过程。该片定于2026年12月25日在美国影院上映。
人工智能文章
Palantir的Alex Karp为什么说技术工人和神经多样性人群将在AI时代蓬勃发展
Palantir首席执行官Alex Karp在2026年3月表示，在AI驱动的经济中，只有两类工人可以确信自己有未来：具有职业培训的人，以及神经多样性人群。他辩称，熟练的技术行业抵抗自动化，而神经多样性的思维方式适合非常规问题解决，Palantir已为这两类人群开设了带薪研究金。
人工智能文章
OpenAI大规模数学论文发布引发学术数学家职业担忧
2026年10月6日，OpenAI发布了722份人工智能生成的手稿，分为372个问题族，包括对纳维叶-斯托克斯千禧奖问题的争议性声称。菲尔兹奖得主Hugo Duminil-Copin在发现他自己的16个研究问题被列在这些论文中后表示哭泣，称之为他所在领域的"拆解"，而一个数学家团体敦促同事停止与OpenAI合作。