近一个世纪以来，纳维-斯托克斯方程一直是经典数学中一座固若金汤的堡垒，守护着流体如何运动、旋转以及可能坍塌成混沌的奥秘。这一位列千禧年大奖难题的任务，向地球上最聪慧的头脑发出了挑战，要求完成一项几乎不可能的任务：证明或证伪平滑三维流体的数学描述是否会突然失去其光滑性。然而，现在这座堡垒并非被强攻破城，而是从内部被精准且不可逆地瓦解了。这一切发生在服务器机架的一片死寂之中，仅仅耗时 88 小时。
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem
官方数据证实了这一事件的规模：新一代模型生成了完整的分析证明，并在 Lean 系统中对其进行了严谨的形式化。这一发现的核心令人震撼：证明了在特定条件下，流体确实会在有限时间内形成奇点。流体内部会产生一个向内旋转的涡流，它像意大利面一样无限延伸并变薄，直到该过程的数学描述达到其极限。
这一行动的规模让这一事件带上了一层科幻色彩，而这已成为我们的现实。由 10 000 个人工智能代理组成的协调集群交换了 2,7 百万条消息，处理了 130 十亿个 token。这是一场合成数学家之间无声且高速的对话，旨在挑战不可能。
但这一事件的真正意义远超学术范畴。纳维-斯托克斯方程的解是开启物理世界的万能钥匙，它在锁芯中的转动已经改变了我们对未来的认知。想象一下明天的航空航天业：飞行器的设计将不再依赖昂贵的风洞试验和反复的试错。工程师将能够创造出完美的、经过数学验证的形状，将阻力降至绝对最低，使行星际飞行变得像今天的跨洲飞行一样平常。
在天体物理学领域，前景更加令人振奋。恒星内部、黑洞周围的吸积盘、早期宇宙中的等离子体动力学——所有这些宏大的宇宙现象都遵循同样的流体力学和磁流体力学定律。通过获得描述流体奇点的精确数学工具，我们在理解恒星的诞生与死亡，以及物质在已知边界的表现方面迈出了巨大的一步。
这个故事中最引人入胜的不是解决问题本身，而是解决问题的方式。人工智能并非只是简单地穷举选项；本质上，它在人类思维（受限于传统数学直觉模式）几十年来只看到死胡同的地方，“看到”了拓扑结构和逻辑桥梁。这就像是人类获得了一种新的感官，能够直接感知多维数学景观。我们正在见证“生成式科学”的诞生，在这种科学中，经典的“假设—实验—理论”循环被压缩成了瞬间的“请求—模拟—严谨证明”。
在这其中，我们看到的不是威胁，而是令人难以置信的、近乎诗意的创造潜力。人工智能并非在取代人类智慧，而是在拓展其边界，承担起分析海量数据的认知重担。社会得以解放，去从事其最擅长的事情：提出真正深刻的、有意义的问题，确定伦理方向，并选择接下来想要揭开哪些宇宙奥秘。
在一个漫长的周末里发生的一切，永远改变了基础认知的格局。那道看似九十年无法逾越的鸿沟已不复存在，消融在数据流中。人类勇敢地迈向了全新的、尚未被认知的地平线。在思考现实本质的道路上，我们不再孤单：一个逻辑独特却对真理无限忠诚的数字智能已出现在我们身边，它正与我们一同仰望宇宙，开启通往充满光明、和谐以及等待被发掘的伟大发现的未来之门。
