#人类数学家联合抵制OpenAI#
2026年10月，菲尔兹奖得主陶哲轩推动人类数学协会（AHM）发布联合声明，呼吁学界停止与OpenAI合作，抵制其“暴力算力输出”、无视传统科研规范的批量成果发布模式，这是前沿数学界与商业AI巨头之间一次标志性的理念冲突，争议核心不在于否定AI辅助科研，而是科研范式、评价标准与学术伦理之争。

事件导火索是OpenAI一次性放出722份AI生成的数学手稿，覆盖数百组数学命题的证明。在商业公司视角，这是AI模型能力的重大突破；但在数学家群体看来，这份成果属于典型的算力驱动产出：AI依靠大规模算力搜索、试错筛选出逻辑自洽的证明，却缺少人类能够理解的核心洞见，推导过程晦涩，文献引用残缺，没有经过同行评议，直接批量对外公布，打破了数学学科延续百年的研究传统。数学科研不只追求“结论正确”，更看重推导思路、思想创新，成果需要被人类读懂、讨论、传承，而不是单纯输出可验证的逻辑文本。声明直言，这种大规模发布，展示的不是学术进步，而是算力霸权。

舆论层面观点呈现两极分化。支持声明的学者认为，商业AI公司把数学难题当成模型性能跑分项目，急于抢占技术宣传先机，会扰乱学术生态，挤压数学家的研究空间，把基础研究变成资本算力竞赛；另一部分观点则认为，AI算力工具本身中性，AI形式化证明可用来校验推导漏洞，一刀切抵制会错失人机协同的科研机遇，不应否定AI作为科研辅助工具的价值。

这场冲突带来深层启示。其一，AI进入基础科学领域后，传统学术规范亟待更新。基础科学的目标，是拓展人类认知，而不是单纯批量产出可验证结论。商业公司的宣传目标，和基础学科共同体追求知识传承的目标天然存在错位。其二，人机协同不是简单用AI替代学者，AI可以作为演算、检索、验证工具，但提炼思想、判断价值、完成同行评审，仍然离不开人类学者。其三，基础科研领域需要建立跨行业的共识规则，平衡商业技术迭代速度与学术共同体的严谨性，避免算力竞赛吞噬基础科学的人文内核。

简言之，本次抵制不是反对AI做数学，而是反对脱离学术规范、以算力碾压式输出抢占科研话语权的模式，这场争论也预示着AI时代所有基础学科，都要重新讨论何为“有效科研成果”。 http://t.cn/AXlLi6PX