OpenAI 发布 700 余篇 AI 生成数学手稿宣称解决未解难题，数学家集体表达震惊与失落
来源The Decoder查看原文
速览
- OpenAI 一次性发布 700 多篇 AI 生成数学手稿，宣称解决未解问题。
- 数学博客汇集 100 多位研究者回应，情绪从好奇到恐惧与失落。
- 菲尔兹奖得主 Hugo Duminil-Copin 称自己“瘫痪了”。
- 部分研究者对 AI 带来的新思路表示着迷。
- 另一部分研究者哀悼原有研究方式可能被取代。
OpenAI 发布了 700 多篇由 AI 生成的数学手稿，声称给出了若干未解数学问题的解答。一个数学博客随后收集了 100 多位研究者的回应，反应从对新思路的兴趣，到对研究方式被改变的失落与存在性焦虑不等。菲尔兹奖得主 Hugo Duminil-Copin 在回应中写道：“我瘫痪了。”
关键事实
- OpenAI 发布了超过 700 篇 AI 生成的数学手稿，声称解决了未解数学问题。
- 一个数学博客收集了 100 多位研究者的回应。
- 研究者反应涵盖对新想法的着迷、存在性恐惧，以及对失去原有工作方式的哀悼。
- 菲尔兹奖得主 Hugo Duminil-Copin 写道：“我瘫痪了。”
本站视角
对中文数学研究者和使用 AI 辅助证明的团队来说，这件事的直接影响是：如果 OpenAI 的 700 多篇手稿中确有可验证的解答，那么数学研究的起点和分工可能被重新定义——提出猜想、寻找反例、整理证明等环节会更多交给 AI，人类研究者转向判断与验证。我们认为，这更像是一次对数学界心理防线的冲击，而非已被确认的学术突破：原文没有说明这些手稿是否经过同行评审，也没有给出任何具体被解决的问题名称或验证结果，因此“解决未解问题”目前仍是 OpenAI 的宣称。需要观察的是数学界是否会组织系统性验证，以及验证结果能否支撑这一宣称。对国内做形式化证明和 AI for Math 的团队而言，这既是压力也是信号：如果方向成立，跟进速度将决定能否在工具链和基准上占据位置；如果宣称被证伪，则说明当前 AI 在数学上的能力仍被高估。
背景与影响
OpenAI 此次以极大规模发布 AI 生成的数学手稿，并声称其中包含对未解问题的解答，这在数学界并不常见。数学博客收集的 100 多份回应显示，研究者并非只有单一态度：有人被 AI 提出的新思路吸引，有人则对研究范式可能被颠覆感到恐惧，还有人表达了对传统工作方式消逝的哀悼。菲尔兹奖得主 Hugo Duminil-Copin 的“我瘫痪了”一句，集中体现了这种冲击。需要观察的是，这些手稿中声称的解答是否经过同行验证、是否真正成立，原文并未给出验证结果，因此目前只能视为 OpenAI 的单方面发布。
本文由 AI 辅助整理自公开信源，事实部分以原文为准；「本站视角」一节为编辑部判断，欢迎指正。版权归原作者所有，如有异议请联系我们。