在学校时,或许每个人都曾经历过数学带来的压力。而如今,世界顶尖的数学家们也因一件事情团结起来。9月11日,25位菲尔兹奖得主,包括陶哲轩、邓煜和彼得·舒尔茨,联合发布了一封名为《人工智能在数学中的严重错位》的公开信。这些数学巨匠的奖项历史涵盖了近半个世纪,从1978年到2026年,短短两天内就有3120位数学家跟随签署。他们反对的,并非人工智能本身,而是一种将解决数学难题视作提升模型排名的新方式。

事件的起因发生在9月8日,OpenAI宣布其内部模型利用约1万个AI智能体,在仅仅88小时内便提供了纳维-斯托克斯方程存在性与光滑性问题的证明,并完成了166页的论文及Lean形式化验证。这一成就属于克雷数学研究所自2000年设立的七大“千禧年大奖难题”中的一项,而在过去近25年里,仅有一个问题被人类解决。然而,在OpenAI发布消息的前几小时,纽约大学的数学家巴克马斯特已经提前公布了三项成果和时间线。

about image