人工智能
2026-09-11 23:44:2025 位菲尔兹奖得主联名批评 AI 公司拿数学难题做基准
陶哲轩、邓煜、Peter Scholze 等 25 位菲尔兹奖得主联名发布声明,批评 AI 公司把重大数学难题当作 benchmark,称这已开始伤害数学研究。声明认可大模型近几个月进步很快,但强调数学更重视新概念、新方法和理解,而非只看解题结果。声明还指出,部分结果在证明未整理完、方法未提炼、引用未补齐前就被仓促公开,带来署名与抄袭争议。
20

陶哲轩、邓煜、Peter Scholze 等 25 位菲尔兹奖得主联名发布声明,批评 AI 公司把重大数学难题当作 benchmark,称这已开始伤害数学研究。声明认可大模型近几个月进步很快,但强调数学更重视新概念、新方法和理解,而非只看解题结果。声明还指出,部分结果在证明未整理完、方法未提炼、引用未补齐前就被仓促公开,带来署名与抄袭争议。

围绕 OpenAI 内部模型 Astra 的数学成果,数学家 Andreas Thom 公开提出质疑,称其在训练过程中可能吸收了他与 Gábor Kun 围绕 Gromov soficity conjecture 研究时留下的对话内容。OpenAI 今年 8 月公布的 Astra「十大数学突破」中,第 3 项为构造 non-sofic group。公司此前称成果由 Astra 完成,后在外界质疑后修改表述,承认证明依赖包括 Thom 和 Kun 研究在内的近期数学工作。
