数学家呼吁抵制 OpenAI，抗议 AI 生成证明大量涌入数学领域

一群数学家（AHM）发表声明，呼吁抵制 OpenAI，起因是该公司一次性放出 700 多个 AI 生成的数学证明文件，被视为展示力量而非学术贡献。菲尔兹奖得主 Terence Tao 在其博客转发该声明，并提出数学应进入不再以解题为核心衡量标准的 Math 2.0 时代；复杂性理论家 Scott Aaronson 称这一局面为 Mathocalypse。声明指出 OpenAI 的发布违背了其顾问组织 AGMAI 的核心前提，即高级数学问题不应在内部模型上测试，并提及 OpenAI 面临的多起版权诉讼。Aaronson 对比称，OpenAI 一次性放出原始证明草稿，让社区无偿承担整理工作；Anthropic 则与两名算法研究者合作，由 AI 提供关键思路推翻两个二十年悬而未决的猜想，研究者获得报酬并写出人类可读的证明。