陶哲轩转发抵制声明，数学界和OpenAI彻底撕破脸
内容提要
OpenAI一次性发布700多份数学手稿，引发数学界反弹。人类数学协会声明呼吁抵制，指其炫耀权力、破坏同行评审，但该协会仅809名会员，声明还被检测为AI生成。OpenAI承认部分论文存疑，已撤下3篇并修订多篇。争论核心是AI大幅降低成果产出成本，但理解与验证成本未降，正改变科研运行方式。
延伸解读
抵制声明的可信度争议
人类数学协会的抵制声明被AI检测工具Pangram判定为100%由AI生成，这削弱了其道德立场。协会仅有809名会员，且多数为研究生，并非资深数学家，其代表性有限。陶哲轩虽转载声明，但并非该协会成员，网友误传其领衔。这些事实提醒读者，在争议中需审视各方声明的来源与可信度，而非仅凭情绪站队。
OpenAI论文的质量隐忧
OpenAI发布的722篇数学手稿中，仅162篇的主要结果经过计算机验证。发布次日即撤下3篇，因符号错误导致核心论证失效并牵连两篇论文，另有14篇修订、13篇更新引用。OpenAI承认部分未形式化的结果可能存在问题。这表明大规模AI生成成果虽快，但错误率不容忽视，读者应关注其验证进展与修正机制。
数学研究规范面临冲击
争议核心在于OpenAI以内部模型批量产出成果，绕过了传统同行评审、作者责任与引用规范。批评者担忧一家公司借此获得设定研究议程的权力，破坏数学界数十年积累的未解决问题结构与进步标尺。支持者则认为这迫使数学重新定义工作方式。无论立场如何，AI大幅降低成果产出成本，但理解与验证成本未降，这种不对称正改变科研运行方式。
Q&A
OpenAI一次性发布700多份数学手稿，数学界对此有何反应？
人类数学协会发表声明，呼吁数学家停止与OpenAI合作，抵制OpenAI，认为这是权力的炫耀，破坏了同行评审等数学规范。
人类数学协会是什么组织？其会员承诺有哪些？
人类数学协会成立于2026年8月，仅有809名会员，大多数是研究生。会员必须承诺：不向商业AI公司提供技术劳动力、数学知识、咨询或宣传服务；不发表由AI模型生成的数学文本；反对AI小组的成员在研究工作中不使用AI模型。
OpenAI发布的722篇论文中，有多少经过了计算机验证？
只有162篇论文的主要结果经过了计算机验证。
OpenAI撤下和修订论文的原因是什么？
因为一处符号错误使一个核心论证失效，并连带影响两篇依赖它的论文，所以撤下了3篇手稿；另外14篇被修订，13篇更新了引用关系。OpenAI承认并非所有论文都采用Lean形式化方法，一些未形式化的结果可能存在问题。
数学界与OpenAI争论的核心焦点是什么？
核心焦点是AI大幅降低了数学成果的生产成本，但理解、验证和判断这些成果价值的成本并没有同步下降，这种不对称正在改变科学研究的运行方式。
除了人类数学协会，还有哪些数学界组织对AI在数学领域的发展表达了关注？
还有由9位资深数学家组成的数学与人工智能咨询小组（agmai.org），以及由28位菲尔兹奖得主签署并得到8000多人支持的《人工智能在数学领域严重失衡》宣言（mathandai.org）。
