菲尔兹奖得主陶哲轩等数学家呼吁抵制 OpenAI，因 AI 批量生成证明冲击数学界

Terence Tao 等数学家发起 AHM 声明，批评 OpenAI 一次性发布 700 多个 AI 生成的数学证明文件是“展示权力”而非学术贡献。OpenAI 此前声称其内部模型在一个月内解决了 100 多个开放数学问题，包括 Navier-Stokes 问题的部分方法。陶哲轩指出这种“Math 2.0”模式导致人类仅负责验证而失去概念理解机会，呼吁停止将解题作为主要衡量标准。