Terence Tao Leads Math Boycott of OpenAI Over Ignored Advisory Red Lines on Machine Proofs

Jay发自 凹非寺 量子位 | 公众号QbitAI

彻底撕破脸了。

数学界领军人物、菲尔兹奖得主陶哲轩，牵头人类数学协会（AHM）发布重磅联合声明——

全球数学界集体行动，全面抵制OpenAI。

一次性发布700多个文件，这根本不算科研，纯粹是在炫耀算力霸权。

我们强烈敦促所有数学家停止与OpenAI合作，重回以人类理解为核心的科学愿景。

数学家们，为什么一夜之间集体站到了模型公司的对立面？

只因OpenAI做的实在太绝了。

前段时间OpenAI宣称解掉千禧难题，陶哲轩就联合了25位菲尔兹奖得主发表联合呼吁，希望商业公司放慢脚步。

简直是疯了，AI公司无休止地加速，却对那之后会发生什么一无所知。

必须慢下来。完全没理由这么快，一点理由都没有。

结果，商业巨头根本没当回事。。。

OpenAI扭头直接甩出700多篇机器生成的证明文件，全球不少数学家起床一看，差点两眼一黑。

用理论计算机科学家Scott Aaronson的话来说，这是一场数学界的末日浩劫（Mathocalypse）。

如今，整个数学界的集体反击，正式打响。

人类数学协会公开宣战

这次由陶哲轩领衔，带头向商业巨头开火的机构，叫做人类数学协会（Association for Human Mathematicians，简称AHM）。

挺有来头的，不是普通的研究小组，这是面对生成式AI冲击，全球顶尖数学家自发建立的行业防线。

组织的核心宗旨，就是守护人类对数学本质的理解，防止学术规范被无节制的暴力算力彻底摧毁。

这份由AHM牵头的联合声明语气极其严厉，一开篇就翻起旧账，直击OpenAI痛处：

这家目前正因非法抄袭、侵犯版权和商标淡化等指控而身陷诉讼的公司 —— 发布了一批手稿，声称其中包含若干数学界知名难题的解答。

随后更是毫不客气地回击：

没人求过你们解这些证明。

为啥整个数学界会如此愤怒？

千禧难题剽窃风波闹大之后，OpenAI为了展现合规姿态，曾拉着普林斯顿高等研究院设立了数学与人工智能咨询小组（AGMAI）。

当时官方专门发文，宣称要与数学界深度共建。

然而，所谓的紧密合作纯粹成了公关幌子，专家组的意见被彻底当成了耳旁风。。。

专家小组发布的第一份咨询报告就明确给出了红线警告：

前沿AI公司不应该在内部模型上擅自测试高深数学难题。

结果呢？

OpenAI充耳不闻。

转头就用内部模型一口气刷了8000道题，顺手把700份机器草稿砸在了所有人脸上。