约 200 年前,法国物理学家克劳德-路易·纳维和爱尔兰物理学家乔治·斯托克斯提出了一组至今仍然广泛使用的、描述液体、空气等流体运动的偏微分方程。 Navier-Stokes 方程并不保证适用于所有可能的情况。
几十年来,数学家一直致力于寻求证明方程的普适性或导致方程失效的特例。 2000 年克雷数学研究所将 Navier-Stokes 方程列为六大千禧年数学问题之一。
OpenAI 本周宣布通过动用约 1 万个 AI 智能体进行长达 88 小时的攻坚,于 9 月 5 日发现了一个 Navier-Stokes 方程失效的特例。如果得到确认,将标志着 AI 首次解决了一个重大的数学难题。
但此事在数学界引发了巨大争议。过去一个月,纽约大学数学家 Tristan Buckmaster 和 Anthropic 研究员 Levent Alpöge 利用来自 OpenAI 和 Anthropic 的 AI 工具在解决 Navier-Stokes 问题上取得了重大进展。
然而就在他们准备公布研究成果之前,OpenAI 投入了数百万美元算力,开展了大规模攻坚行动。 OpenAI 声称它未利用 Buckmaster 和 Alpöge 的最新研究成果,但 Buckmaster 公开发表声明,对此提出质疑。
纽约大学团队指控 OpenAI 抓取了他们的数据输入其模型。