#人类数学家联合抵制OpenAI#这件冲突本质不是AI能不能算出数学结论，而是学术研究的底层逻辑该如何定义。OpenAI一次性放出七百多篇AI生成数学手稿，在顶尖数学圈激起强烈抵触，核心就在于数学研究不只是拿到一个正确答案。

在数学家看来，证明最重要的意义是传递思路、启发后续研究，要让人读懂、拆解、延伸。AI产出的很多证明是黑盒式推导，结论或许成立，但推理过程晦涩，人类很难从中提炼出新思想，核验的成本全部压给科研人员。OpenAI无视之前咨询小组的约定，大规模放出这批文稿，在学界眼里更偏向技术营销，而非严谨学术成果发布。

陶哲轩等人呼吁抵制，反对的不是AI辅助数学研究，而是这种跳过同行评审、批量输出证明的做法。长此以往，大量难以解读的证明涌入，会造成“证明消化不良”，挤占正常学术交流空间，动摇数学依靠人类理解、传承思想的根基。

当然AI本身可以作为研究工具，用来试猜想、做计算辅助。争议点在于边界：工具可以用，但不能直接把AI生成的批量文稿当作学术成果公开发布。科技进步和学术规范之间，需要找到平衡。 http://t.cn/AXlLrgvz