“我们失去了多少美？”数学家对OpenAI碾压其领域感到震惊与厌恶

2026年10月6日，OpenAI一次性发布超过700篇手稿，声称解决了数百个未解数学问题。数学博客Proofs and Prompts随后收集了研究人员100多条回应，这些回应从智识上的着迷，一直延伸到对一种工作方式消失的深切悲痛。

报道称，评估OpenAI上传至GitHub内容的数学实质还为时过早。部分论文已被撤回，另一些则因难以阅读而受到批评。尽管如此，仍有数位专家表示结果令他们印象深刻。

Ben Green称部分结果“令我绝对震惊”，并表示此次发布解决了其当年6月获得的欧洲资助项目约四分之三的研究目标。Roman Sauer则在OpenAI对两个完全不同问题的解答中认出了自己多年开发的技术，并表示“我惊呆了”。

Alvaro Lozano-Robledo称10月6日“可能是数学史上迄今最重要的一天”，同时指出模型存在局限。OpenAI瞄准了黎曼猜想，但只得到其一个较弱变体。Lozano-Robledo称“准黎曼猜想是巨大的！但它不是黎曼猜想”。

2022年菲尔兹奖得主Hugo Duminil-Copin写道，OpenAI声称解决了其职业生涯中公开讨论过的每一个重大未解问题，并称“震惊是巨大的。我瘫痪了。”

博士生Tristan Humbert得知OpenAI声称证明了其博士论文核心问题，在修改研究计划并阅读论文后感到愤怒，称其为“基本无法读懂的垃圾”。

Terence Tao表示心情复杂，认为AI生成的证明引入了“巧妙的新想法”，但对缺少能讨论、演讲和教学这些工作的人感到“深深沮丧”。

Henry Wilton批评OpenAI隐瞒作者姓名和失败率信息，认为缺少署名意味着“数学不再是人类的事业”。

Enrico Fatighenti指出研究者对AI生成论文采用了与人类工作不同的标准，社区被迫解读和解释AI系统的论文，而功劳仍归OpenAI。

Johannes Schmitt认为这些研究论文是OpenAI改进模型的次要产物，而非主要旨在推进数学。这一解读仅为个人观点，报道未说明OpenAI发布这些手稿的官方动机。

菲尔兹奖得主Peter Scholze呼吁保持耐心，并警告这些系统可能找到破解广泛使用加密方法的手段。这一警告属于其个人非专业判断，未获证实。

报道称，自2026年年中以来突破不断累积，先是Unit Distance Conjecture，然后是Navier-Stokes，再到OpenAI Astra模型发布时展示的十个解答。

Danny Calegari表示个人好奇心一直引导其项目选择，OpenAI的发布未影响其当前工作，并称赞与音乐家合作、由Anthropic的Claude编写代码的数学动画配乐。

数学界对AI生成论文的长期影响及人类研究者角色仍存在分歧。报道仅基于Proofs and Prompts收集的研究人员回应，未提供独立数学验证，也未给出被解决数学问题的具体清单或逐篇论文的验证结果。