分类：AI动态 标签：人工智能、大模型、学术争议、数学难题

引子：流体力学与千禧年难题

大约 200 年前，法国物理学家克劳德-路易·纳维和爱尔兰物理学家乔治·斯托克斯提出了一组描述液体和空气等流体运动的偏微分方程，即著名的 Navier-Stokes 方程。这组方程至今仍广泛应用于气象预测、航空航天等领域。

然而，Navier-Stokes 方程并不保证适用于所有可能的情况。几十年来，数学家一直致力于证明方程的普适性，或者寻找导致方程失效的特例。2000 年，克雷数学研究所正式将 Navier-Stokes 方程的解的存在性与光滑性问题列为六大千禧年数学问题之一，悬赏百万美元。

OpenAI 的算力攻坚：AI 首次挑战重大数学难题

本周，OpenAI 宣布在数学领域取得重大突破。通过动用约 1 万个 AI 智能体进行长达 88 小时的算力攻坚，OpenAI 宣称于 9 月 5 日发现了一个 Navier-Stokes 方程失效的特例。

如果这一成果最终得到数学界的正式确认，将标志着人工智能首次独立或协助解决世界级的重大数学难题，具有里程碑式的意义。

意料之中的争议：数据抓取与成果抢跑质疑

尽管技术成果令人瞩目，但这一事件在数学界和科技界引发了巨大的争议。争议的核心在于成果的独立性与研发伦理：

  • 时间线重合：在 OpenAI 宣布突破之前的一个月里，纽约大学数学家 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge 已经利用 AI 工具在 Navier-Stokes 问题上取得了重大实质性进展。
  • 抢跑指控：就在纽约大学团队准备正式公布其研究成果前夕，OpenAI 投入了数百万美元的庞大算力开展了密集攻坚。
  • 数据抓取质疑：虽然 OpenAI 官方声称其研发过程并未利用 Buckmaster 和 Alpöge 尚未公开的最新研究成果，但 Tristan Buckmaster 随后公开质疑，并指控 OpenAI 抓取了他们的数据输入到模型中。

科技新视野的思考

从 DeepMind 的 AlphaFold 到如今 OpenAI 挑战 Navier-Stokes 特例，AI 在基础科学领域的渗透速度正在呈指数级加快。AI x 基础科学的结合展现了巨大的潜力，但随之而来的数据归属、学术透明度以及大厂与传统学术界的利益边界等问题，也变得愈发尖锐。

这场围绕千禧年数学难题的争议，或许只是未来人工智能深度介入人类最高智力成果时，所引发的众多变革与摩擦的一个缩影。