OpenAI 宣称解出千禧年难题，数学家质疑

IEEE Spectrum 在 2026 年 10 月 5 日的报道中称，OpenAI 近期宣称解决了一个千禧年大奖难题，这一说法既带来庆祝也引发争议。同一篇报道还回溯了 9 月 13 日在德国开幕的年度海德堡桂冠论坛，来自数学与计算机科学领域的资深学者和年轻研究者参加了这场为期一周的讨论，Michael Harris、Peter Scholze、Geordie Williamson 和 Jacob Tsimerman 等数学家专门就 AI 对数学研究的影响展开辩论。报道没有说明 OpenAI 声称解出的是哪一个千禧年难题，也没有给出证明本身的内容。

次日，The Verge 的报道把范围拉得更宽：过去一年里，OpenAI、Anthropic 等实验室宣布解决了多个长期悬而未决的数学问题，其中一些结果超出了研究者对现有系统能力的预期，其中还包括一个千禧年大奖难题。但报道称，这些成果并未换来一致喝彩，反而在数学界引发反弹，OpenAI 正尝试通过咨询独立顾问小组来修复关系；报道将这种推进方式形容为典型的硅谷风格——快速行动、不断打破现有格局，一路冲过这门学科。

两篇报道都没有写明 OpenAI 具体是在什么时间、以什么方式公布这一宣称的，也没有列出所涉难题的名称或任何验证进展。目前能核对到的只有宣称本身、数学界的质疑，以及 OpenAI 寻求独立顾问小组这一动向。