数学界近期出现了一次针对OpenAI的集体表态。菲尔兹奖得主陶哲轩牵头的人类数学协会(AHM)发布联合声明,呼吁数学家停止与OpenAI合作,回到以人类理解为核心的科研路径。声明的直接起因,是OpenAI发布了一批机器生成的手稿,并声称其中包含若干知名数学难题的解答。

陶哲轩牵头人类数学协会发声明,数学界抵制OpenAI

在此之前,陶哲轩曾联合25位菲尔兹奖得主发出呼吁,希望商业公司放慢脚步,但未得到回应。随后OpenAI公开了700多份机器生成的证明文件。理论计算机科学家Scott Aaronson将其形容为数学界的“末日浩劫”(Mathocalypse)。

咨询意见未被采纳

声明提到,OpenAI曾与普林斯顿高等研究院设立数学与人工智能咨询小组(AGMAI)。该小组发布的第一份咨询报告明确警告,前沿AI公司不应在内部模型上擅自测试高深数学难题。但OpenAI并未采纳这一意见,而是用内部模型测试了约8000个开放性数学问题,命中率约5%,平均解决一道高难度问题消耗约3小时的GPT-Pro级别算力。

Scott Aaronson还提到妻子Dana Moshkovitz的遭遇。她长期研究理论计算机领域的“唯一博弈猜想”,而此次发布的文档称该猜想已被证明。她读完后认为,内容逻辑跳跃混乱,堆砌了大量先验结论却未说明适用条件。此外,这批成果中未涉及密码学领域,有消息称AI公司已在暗中探测现代密码学协议和原语的底层漏洞。整批文件未经同行评审。