OpenAI 722 篇数学论文引发众怒，数学家集体抵制

新智元 · wechat · 2026-10-10

10 月 6 日 OpenAI 一次性公开 722 篇重大数学难题论文，包括 UGC 猜想完整证明、L=BPL 去随机化、O(n^(9/4)) 矩阵乘法新界限等，多数成果「每题仅花约 3 小时算力」。UT 教授 Scott Aaronson 发长文称之为「数学末日」——其妻 Dana Moshkovitz 职业生涯攻坚的 UGC 猜想被 AI 解决，且证明如「外星造物」般人类难以读懂，学者沦为自己领域的「考古学家」。

陶哲轩通过博客转发人类数学协会（AHM）牵头的联合声明，批评这是「炫耀算力霸权」「没人求你们解这些证明」，呼吁所有数学家停止与 OpenAI 合作。此前陶哲轩曾联合 25 位菲尔兹奖得主呼吁商业公司放慢速度，未被理会。图灵奖得主 LeCun 则持相反观点：形式证明自动化后，数学将迎来新时代，「船的发明让我们发现了新大陆」。