AI与基础科学之间的矛盾正在公开爆发。近期人类数学协会AHM发布联合声明，全球顶尖数学家联合抵制OpenAI，菲尔兹奖得主陶哲轩公开声援这一行动。这场风波的导火索，是OpenAI一次性公开700余份AI生成的数学证明手稿。在数学界看来，这种批量输出成果的方式，正在颠覆基础数学长期遵循的学术准则，而这场争论，也拷问着AI时代科研的真正意义。

抵制风波的导火索 本次争议的直接起因，是OpenAI于10月6日在GitHub发布722份AI生成数学手稿，后续撤回3份，剩余719份，覆盖数百个数学结论。OpenAI称此举展示AI在高端数学领域的突破。
但是在数学家群体眼中，这批由专有模型产出的证明，绝大多数缺少完整可核验的推理过程，人类难以理解其内在逻辑。AHM在声明中直言，一次性抛出数百份证明文件，并非严谨学术研究，而是算力霸权的展示。在此之前，陶哲轩就联合25位菲尔兹奖得主发出警示，呼吁AI企业放缓推进节奏，而OpenAI的发布行为，进一步激化双方分歧。

核心矛盾：科研的本质是理解，不是产出答案 数学学科的核心，从来不止是得到一个正确答案，而是人类读懂证明逻辑、挖掘新思想，并且经过同行反复核验。因此，数学家反对的不是AI辅助数学研究，而是这种跳过学术评审、批量抛出机器证明的模式。
一方面，AI给出的结论即便数值正确，人类无法理解推导思路，就很难从中提炼出新的数学思想；另一方面，大量未经核验的证明涌入公开领域，会增加同行的审查负担，扰乱正常学术发表体系。尽管OpenAI表示咨询过数学顾问小组，但相关建议并未被完整采纳，这也加深了数学界的不满。

不是拒绝AI，而是划定科研边界 需要明确的是，本次抵制并非全盘否定AI在数学领域的价值。不少数学家认可AI作为辅助工具，能够帮助完成复杂计算、寻找证明思路。本次联合声明的诉求，是呼吁学界停止与OpenAI合作，要求AI企业尊重基础科学的学术规范，回归以人类理解为核心的科研体系。
AI企业追求技术速度与成果展示，而基础数学看重严谨、可理解、可复现，两种目标天然存在冲突。随着大模型能力持续提升，类似的冲突未来还会在物理、理论科学等领域不断上演。
总而言之，数学家集体抵制OpenAI，本质不是人类对抗AI，而是基础科学界对商业化AI划定科研边界的一次公开表态。AI可以快速算出数学答案，但无法替代人类理解数学背后的思想。未来，如何平衡AI技术迭代速度与基础科学严谨性，将会是整个科技行业必须回答的长期课题。