AI攻克千禧难题？OpenAI称88小时解出纳维-斯托克斯方程

近日，人工智能领域迎来一项备受瞩目的突破：OpenAI宣称通过大规模AI系统在88小时内解决了困扰数学界近一个世纪的纳维-斯托克斯方程（Navier-Stokes equations）存在性与光滑性问题。这一消息迅速引发全球科技和数学界的广泛关注与讨论。

纳维-斯托克斯方程是描述流体运动的基本方程，广泛应用于天气预测、飞机设计等领域，其数学解的存在性和光滑性问题被列为克雷数学研究所设立的七大千禧年大奖难题之一，每解决一道题可获得100万美元奖金。OpenAI的研究团队表示，他们使用了一个能力显著强于GPT-6 Astra的内部模型，在88小时内生成了分析证明和形式化证明，得出一个初始静止的光滑流体可以在有限时间内发展出奇点的结论。

然而，这一成果并未立即获得数学界的普遍认可。克雷数学研究所明确表示，根据其评奖流程，OpenAI需要在同行评审的期刊上发表解题结果，并至少经过两年时间获得数学界的普遍认可。目前，OpenAI尚未提交任何形式化的证明文件，因此该问题仍被标记为“未解决”状态。

这一事件也引发了关于AI在数学研究中角色的激烈争论。25位菲尔兹奖得主联合发表声明，警告AI公司可能正在“毁掉数学”，认为大量生产未经深度思考的证明可能会摧毁孕育新思想的土壤。纽约大学教授特里斯坦·巴克马斯特（Tristan Buckmaster）公开质疑OpenAI是否接触了其团队此前的研究数据，并提出署名争议。OpenAI则回应称，他们的研究是在得知巴克马斯特与Anthropic研究员L. Alpöge在三维欧拉方程上的关键进展后才转向NS方程的。

尽管如此，美国数学学会负责人对这一里程碑式的成就表示赞赏，同时强调这是人类数学家共同努力的结果。曼彻斯特大学数学家托马斯·布卢姆（Thomas Bloom）表示，OpenAI的成果“确实已经非常接近”纳维-斯托克斯问题，但仍需经过同行评议和形式化验证。

图中展示了纳维-斯托克斯方程的核心内容及其在流体力学中的重要性。正如克雷数学研究所所言，这些难题凝聚了数学家们在世纪之交所面临的一些最艰难的挑战，它们不仅是数学领域的重大突破，更是推动人类理解宇宙本质的关键。

目前，OpenAI尚未申请100万美元的奖金，而数学界仍在等待其正式提交的证明文件。无论最终结果如何，这一事件无疑将深刻影响AI与数学研究的未来发展方向。