AI攻克数学难题引争议，OpenAI再遭数学家不满

在人工智能技术快速发展的背景下，2026年成为数学领域的一个重要分水岭。OpenAI和Anthropic等公司相继宣布其AI模型取得了突破性进展，不仅解决了困扰数学界数十年的难题，还展现了超越人类数学家的能力。这一系列事件引发了广泛讨论，特别是来自传统数学研究者的强烈反应。

根，2026年5月，OpenAI的研究团队推翻了悬置80年的单位距离猜想；7月，Anthropic的研究人员使用Claude Fable 5证伪了1939年提出的雅可比猜想；到了9月，OpenAI宣布其内部模型仅用11天就在定理证明器Lean中完成了费马大定理的完整证明，随后又在88小时内攻破了千禧年难题Navier-Stokes方程。截至9月21日，OpenAI声称其内部模型已经解决了超过100个长期悬而未决的数学问题。

这些成就远远超出了最初的预期。xAI联合创始人Christian Szegedy早在2019年就提出，通过自动形式化技术可以造出超人数学家，并将目标设定为2029年。然而，在2024年，他将时间表提前了三年，并在X上与Keras之父François Chollet等人打赌，押注2026年6月之前会出现超人AI数学家。如今，这一切都实现了。

Szegedy在长文《数学何去何从？》中指出，数学家就像原始丛林中的徒手攀岩探险家，而AI则是一架飞机，已经把旗插上了无人能及的山顶。他预测，数学将从少数人的手艺转变为全科技行业的基础设施，标志着这个属于数学的英雄时代的结束。

然而，这一观点并未得到所有数学家的认可。菲尔兹奖得主舍尔策公开表示不愿接受AI的帮助，坚持要靠自己的能力完成研究。部分博士生也因AI迅速证明他们卡住的引理而陷入意义危机。帝国理工学院的Buzzard教授用“悲伤五阶段”来形容学界对这一变化的感受——否认、愤怒、讨价还价、抑郁。一些数学家甚至认为，AI的介入破坏了数学研究的传统价值和方法论。

OpenAI此次的动作再次引发了数学界的不满。有数学家形容这种行为如同“黑帮作风”，认为公司在未经充分讨论的情况下就大规模应用AI进行数学研究，缺乏应有的学术伦理考量。尽管AI在解决具体问题上的效率令人惊叹，但如何平衡技术创新与学术传统，仍然是一个亟待解决的问题。

随着AI在数学领域的影响力不断扩大，未来的数学研究可能会发生根本性的变化。大学、期刊的奖励机制可能需要重新设计，私有化、商业化勘探将成为主导力量。这场变革不仅影响着数学本身，也将对整个科学技术的发展产生深远的影响。