陶哲轩牵头人类数学协会联合声明 全面抵制OpenAI

争议的引爆点是一次发布。据量子位报道，OpenAI发布了一批手稿，声称其中包含若干数学界知名难题的解答，数量为700多份机器生成的证明文件。菲尔兹奖得主陶哲轩牵头的人类数学协会（AHM）随即发布联合声明，全面抵制OpenAI，并敦促数学家停止与其合作。

声明的语气被描述为极其严厉，其核心指控并不在于“AI能不能做数学”，而在于这次发布的方式：没有同行评审，没有可读的人类逻辑，也没有对前人工作的尊重与解释。用报道中的话说，声明开篇就翻起旧账，直指OpenAI是一家正因非法抄袭、侵犯版权和商标淡化等指控而身陷诉讼的公司。

这里需要区分两个层次：AHM发布抵制声明、OpenAI发布700多份文件，属于已确认的事实；而“这些文件是否真的解决了它们宣称解决的问题”，在现有素材中并未得到独立验证。报道本身也把700多份文件的实际数学正确性列为未决问题。

让数学界震动的，是一组被反复引用的数字。公开数据显示，OpenAI动用内部模型测试了大约8000个开放性数学问题，命中率在5%左右；报道还称，平均解决一道高难度难题只消耗约3小时的GPT-Pro级别算力。

这组数字需要谨慎对待。它们来自报道转述的公开数据，缺乏第一方原始出处，因此在证据强度上只能算作来源方说法，而非已确认事实。但即便只作为说法，它传递出的信号也很明确：如果3小时算力就能触及一个学者数年甚至一生的工作，那么数学研究的成本结构、优先级和评价体系都会被重新定价。

报道用“三小时算力，就能直接碾碎一个学者数年甚至一生的研究积累”来描述这种冲击。这是一种修辞，但它指向的焦虑是真实的——当产出速度远超人类消化速度时，问题就从“能不能做”变成了“做出来之后怎么办”。