数学家因OpenAI批量发布AI证明呼吁抵制

以菲尔兹奖得主陶哲轩为首的 AHM 组织发表声明，呼吁抵制 OpenAI，理由是该公司近期一次性发布了超过 700 份由内部模型生成的数学证明文件，被指为“力量的展示而非学术能力的展示”。该事件源于 OpenAI 声称其内部模型在一个月内解决了包括纳维 - 斯托克斯方程在内的 100 多个开放数学问题，引发了关于版权归属、研究伦理及科学共同体价值观的激烈冲突。 核心争议点在于 OpenAI 采用的“批量发布”模式与 Anthropic 的“合作补偿”模式存在本质差异。前者导致大量未经人类验证、逻辑晦涩甚至无法阅读的原始证明草案涌入社区，迫使研究人员无偿进行后续整理工作；后者则通过向数学家支付报酬并共同撰写可理解版本来确保成果质量。此外，文中指出约 8000 个测试问题中有 5% 的成功率，且涉及密码学等敏感领域的潜在攻击面，进一步加剧了学术界的不安。 这一事件标志着 AI 在基础科学研究中的角色发生了根本性逆转：从辅助工具变为独立解题者。陶哲轩提出的“Math 2.0”愿景认为，当 AI 能够自主解决深层问题时，人类必须重新定义学科目标，从单纯的问题求解转向概念理解和社区建设。然而，这种转变也带来了“污染效应”，即一旦问题被标记为已解决，即便缺乏真正理解，也会扼杀其他可能的探索路径。事实层面确认了 OpenAI 模型的强大能力，推断层面指向科研评价体系需重构，猜测层面则是抵制行动能否阻止技术扩散尚不确定。