2000年，克雷数学研究所宣布悬赏700万美元，寻找七个被称为千禧年大奖难题的数学难题，每解开一个可获100万美元奖励。时至今天，26年间仅有庞加莱猜想被俄罗斯数学家佩雷尔曼在2003年解决，他拒绝领取奖金并隐退。其他六道难题则毫无进展。然而，9月8日，这一切有了变化，OpenAI的AI智能体成功解答了其中一道难题。

被攻克的题目是纳维-斯托克斯方程，此方程约200年前被提出，用于描述流体运动的数学规律，是工程师和科学家们日常工作的基础。虽然它被广泛运用于航空、气象等领域，但数学家却一直困惑于一个基本问题：这组方程是否会在某些条件下导致流体速度无限制地增长。尽管在现实中不可能出现无限速度，200年来没有人能证明方程不会暴露出这种“奇点”或“爆破”现象。

克雷研究所为解决这一问题提供了奖励，要么证明不可能爆破，要么找到一个爆破的实例。在AI之前，许多数学家尤其倾向于后者的可能性。包括华人数学家周帆在内的一些研究者一直朝这个方向探索。 龙8头号玩家

OpenAI的AI团队也选择了这一途径，他们成功构造出一个特定条件下能导致速度无限大的实例，从而表明纳维-斯托克斯方程在数学上并不完善。虽然这并不会影响实际应用，但这个结果揭示了流体动力学中潜藏的复杂特性。

这一突破的基础源自西班牙数学家迭戈·科尔多巴和他的学生路易斯·马丁内斯-索罗亚的研究。他们发明了一种新方法，将多个正常流动的解叠加，以构建出具有奇点的新解。尽管这个方法在理论上有效，但在实现时遇到了最后一关：如何确保推导过程中的外力函数仍然保持光滑性，而这一步骤最终由AI完成。

OpenAI利用一个尚未公开的内部模型，协同近百个AI智能体工作了大约50小时，然后将智能体数量扩大至约1万个，通过88小时的努力成功证明了纳维-斯托克斯方程的爆破现象，随后又用17小时通过编程语言Lean进行了形式化验证，确保证明在逻辑上的严谨性。 龙8头号玩家

总的来说，整个过程涉及了近500万条消息的交流，OpenAI的内部算力成本估计达到数百万美元。如果按照零售价出售此项技术，市场价值可能高达1500万美元。

自今年夏季以来，AI在数学领域频频突破，然而这一次回应引起了数学界的广泛关注。就在OpenAI公布这一重大发现前的12小时，美国纽约大学的数学教授特里斯坦·巴克马斯特在社交媒体上发文，质疑这一成果的来源。