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

AI 摘要

菲尔兹奖得主陶哲轩牵头人类数学协会（AHM）发布联合声明，呼吁全球数学家停止与OpenAI合作，抵制其发布700多份机器生成数学证明文件的做法。声明指责OpenAI无视数学与人工智能咨询小组（AGMAI）的警告，用内部模型测试约8000个开放数学问题并发布缺乏同行评审、逻辑混乱的草稿，构成对学术规范的破坏。图灵奖得主杨立昆则公开反对这一立场，认为数学正迎来形式证明自动化的新时代。

正文节选

陶哲轩带头宣战！人类数学家联合抵制OpenAI 彻底撕破脸了 Jay发自 凹非寺 量子位 | 公众号QbitAI 彻底撕破脸了。 数学界领军人物、菲尔兹奖得主陶哲轩，牵头人类数学协会（AHM）发布重磅联合声明—— 全球数学界集体行动，全面抵制OpenAI。 一次性发布700多个文件，这根本不算科研，纯粹是在炫耀算力霸权。 我们强烈敦促所有数学家停止与OpenAI合作，重回以人类理解为核心的科学愿景。 数学家们，为什么一夜之间集体站到了模型公司的对立面？ 只因OpenAI做的实在太绝了。 前段时间OpenAI宣称解掉千禧难题，陶哲轩就联合了25位菲尔兹奖得主发表联合呼吁，希望商业公司放慢脚步。 简直是疯了，AI公司无休止地加速，却对那之后会发生什么一无所知。 必须慢下来。完全没理由这么快，一点理由都没有。 结果，商业巨头根本没当回事。。。 OpenAI扭头直接甩出700多篇机器生成的证明文件，全球不少数学家起床一看，差点两眼一黑。 用理论计算机科学家Scott Aaronson的话来说，这是一场数学界的末日浩劫（Mathocalypse）。 如今，整个数学界的集体反击，正式打响。 人类数

发布时间：2026-10-09 08:35

抓取时间：2026-10-09 09:37

来源机构：量子位