未来的世界真的是AI的吗？OpenAI宣布，自家的内部AI利用1万个智能体，仅耗时88小时，就暴力破解了千禧年大奖难题之一的纳维-斯托克斯方程，证明了流体在特定条件下会产生奇点，并随后公布了Lean形式化验证。

拿下NS方程才短短两天，OpenAI又向《纽约时报》凡尔赛式承认：我们已经在另一个千禧年问题（霍奇猜想）上取得了实质性进展。