陶哲轩等25位菲尔兹奖得主联名抗议AI公司

OpenAI等AI公司正将千禧年数学难题当作模型能力竞赛的基准测试。9月8日，NS方程被宣布解决；9月11日，霍奇猜想被曝接近解决；随后OpenAI被曝正用内部模型尝试黎曼猜想和P与NP问题。一张流传的“千禧难题基准测试”图表显示：Meta/DeepMind/xAI等公开模型0分，人类顶级数学家基线1分，Anthropic内部未发布模型1分，OpenAI内部未发布系统2分。

这引发数学界强烈反弹。25位菲尔兹奖得主联合发表《人工智能在数学领域的严重错位》公开信，包括陶哲轩、Peter Scholze、Maxim Kontsevich、Artur Avila等。核心诉求是抵制把数学当作“通关副本”的商业逻辑：科技公司把解题当公关素材，与数学追求理解结构、孕育思想的目标严重错位。真正的突破需经漫长演讲、讨论、简化、写进教材，才能成为全人类共享工具。若仅靠算力狂轰滥炸给出结果，人类“思想链”会断裂，数学灵感将枯竭。匆忙公布结果、缺少论文、不交代推导、不引用前人工作，还制造了归属与抄袭问题。

OpenAI还涉嫌窃取人类数学家未公开成果。纽约大学数学家Tristan Buckmaster质疑，他与合作者Levent Alpöge研究NS方程同一方向，数月来将大量未公开草稿和推演思路作为Prompt输入OpenAI的Codex系统，几天后OpenAI就集中算力拿出NS证明。OpenAI否认“偷用”，称以7月3日为时间边界，此后用户输入不影响系统，甚至提出可署Buckmaster名字，但条件是他放弃在Anthropic工作的合著者署名。

另一数学家Andreas Thom称，他研究Gromov的soficity猜想二十年，前几个月用ChatGPT与同事讨论，OpenAI宣布Astra系统解决该问题时使用了与其高度重合的非主流冷门路径。OpenAI否认“直接访问”，但补充“不能排除从用户使用产品中得出的‘去标识化数据’帮助改进了模型”。有学者指出，若指控属实，这是科学史上最严重学术丑闻之一：AI并非发现新数学知识，而是窃取人类发现后用算力抢跑发表。

OpenAI在NS方程上跑了88小时算力，耗费资金足以雇佣600名博士后工作一年。用如此资源抢夺学者未发表成果，是在发展科学还是绞杀数学生态？当所有千禧年难题被当作Benchmark依次点亮，人类又该以何种方式证明自己曾思考过？