AI速解百难题 OpenAI再引数学家争议

2026年成为人工智能与数学交叉领域的关键分水岭。OpenAI、Anthropic等头部AI公司相继宣布其模型取得突破性进展，不仅攻克了困扰数学界数十年的难题，更展现了超越人类数学家的能力。具体事件包括：5月推翻80年悬置的单位距离猜想；7月证伪1939年的雅可比猜想；9月完成费马大定理的完整证明（仅用11天）及Navier-Stokes方程的破解（88小时内）。截至9月21日，OpenAI声称已解决超过100个长期难题。

这一系列成就远超预期。xAI联合创始人Christian Szegedy早在2019年就提出通过自动形式化技术造出超人数学家，并将目标提前至2024年。如今，他所预测的“超人AI数学家”已实现。Szegedy在长文《数学何去何从？》中比喻AI为“飞机”，将旗插上无人能及的山顶，预示数学将从少数人的手艺转变为全科技行业的基础设施。

然而，这一变革并未得到所有数学家的认可。菲尔兹奖得主舍尔策公开拒绝AI帮助，坚持自主研究；部分博士生因AI快速证明其卡住的引理陷入意义危机。帝国理工学院Buzzard教授形容学界感受为“悲伤五阶段”（否认、愤怒、讨价还价、抑郁）。有数学家批评OpenAI此举带有“黑帮作风”，认为公司在未经充分讨论的情况下大规模应用AI进行数学研究，缺乏学术伦理考量。

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