全球数学家联合抵制 OpenAI：释放 722 篇论文引发“数学末日”争议

10 月 6 日，OpenAI 一次性向公众释放了 722 篇涉及重大数学难题的学术论文，此举迅速引发全球数学界的强烈不满。美国德州奥斯汀分校计算机科学教授 Scott Aaronson 对此惊呼“数学末日来了”，而陶哲轩则通过博客发布联合声明，直接批评 OpenAI 的行为是“赤裸裸的算力霸权”。在此次发布的论文中，包含了困扰学术界数十年的苏巴什·霍特唯一博弈猜想（UGC）完整证明。该问题曾是德克萨斯大学奥斯汀分校教授 Dana Moshkovitz 整个职业生涯的核心目标，如今却被 AI 模型在约 3 个小时的算力内轻松解决。类似地，L=BPL 去随机化、矩阵乘法新界限 O(n^(9/4)) 以及突破 1960 年代屏障的傅里叶变换等成果也同时出现。尽管成果显著，但这些由 AI 生成的论文被数学家指认为“读不懂的外星造物”。Dana Moshkovitz 在审阅 UGC 猜想证明后表示，其逻辑混乱、编码奇异，甚至需要借助另一个 AI（如 Astra）来辅助翻译和理解。人类学者面临从知识创造者沦为废墟上“考古学家”和“翻译官”的困境。人类数学协会（AHM）由包括陶哲轩在内的全球顶尖数学家自发组建，旨在守护人类对数学本质的理解。在联合声明中，他们强调 OpenAI 无休止地加速并一次性发布大量文件的行为违反了科学规范，呼吁所有数学家停止与该公司的合作，回归以人类理解为核心的科研愿景。对于这场争议，不同观点呈现撕裂状态。图灵奖得主 Yann LeCun 反驳了“数学死亡论”，认为形式证明的自动化将推动研究向新概念和抽象理论转型，类比船的发明让人类发现新大陆。而另一派学者如 Florent Krzakala 则直言数学的某些部分已经死去。更令人担忧的是，OpenAI 此次发布的论文中唯独缺少密码学领域的相关成果。Scott Aaronson 透露，各大 AI 公司正在秘密调查内部模型破解顶级加密协议（如 RSA、AES）的能力，这引发了对全球网络安全和国家机密安全的深层忧虑。面对未知风险，Aaronson 选择暂时放下工作，陪伴孩子观看电影以应对未来的不确定性。