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

数学界的矛盾公开化了。菲尔兹奖得主陶哲轩牵头“人类数学协会”（Association for Human Mathematicians，简称 AHM）发布联合声明，呼吁全球数学家停止与 OpenAI 合作，集体抵制这家公司。

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

AHM 的态度十分强硬，直言“没人求过你们解这些证明”，并批评 OpenAI 一次性抛出大量机器生成的证明文件，认为这根本不算科研，更像是在炫耀算力优势。

声明还提到，OpenAI 曾与普林斯顿高等研究院设立“数学与人工智能咨询小组”（AGMAI），宣称要与数学界深度共建。但 AHM 认为，专家组的意见被当成了耳旁风：其首份咨询报告就警告前沿 AI 公司不应在内部模型上擅自测试高深数学难题，而 OpenAI 并未听取。

争议的核心在于研究范式。AHM 表示，数学家对“进步”有植根于历史与学科自身的特定愿景，他们拒绝 OpenAI“此次发布推动了数学发展”的说法，并敦促数学家与公众对这种发表模式的价值保持怀疑。

陶哲轩长期警告的“证明消化不良”正在显现。按他的说法，一个问题一旦被宣称解决，就再也回不到未解决的状态，即便只是知道答案存在，也可能污染其他本可带来更深刻洞见的研究路径。

这场冲突也牵出了学术生态层面的担忧：没有同行评审、没有可读的人类逻辑，也缺乏对前人工作的解释，一些年轻学者甚至因为害怕被大模型“截胡”而不敢公开自己正在探索的方向。

并非所有顶尖学者都站在同一边。图灵奖得主杨立昆公开表达了不同看法，他认为数学正迎来新时代，形式证明将大幅自动化，重点会转向发展新概念、新抽象与新猜想。

后续看点在于，这场由数学家发起的集体抵制会如何影响 AI 公司与学术界的合作关系，以及 OpenAI 会否对声明作出正式回应。围绕 AI 在研究中的使用边界，类似的摩擦预计还会继续。