陶哲轩、邓煜等 25 位数学家联名发声明，反对 AI 公司把数学难题变成跑分比赛

陶哲轩、邓煜等 25 位菲尔兹奖得主发布紧急声明《人工智能与数学的严重错位》，反对 AI 公司把攻克数学难题变成证明模型能力、争夺市场声量的跑分比赛。声明发布的背景是 9 月 8 日 OpenAI 宣布一个尚未公开的内部 AI 模型给出了纳维—斯托克斯方程千禧年大奖难题的解答，据公开报道其调动约 1 万个 AI 智能体在不到 4 天内完成证明并用形式化工具验证。