OpenAI 宣布其 AI 已解决了纳维-斯托克斯千禧年奖问题，这是一个大约 90 年来未解的数学难题。

一个内部模型，被描述为比 GPT-6 Astra 强大得多，驱动了大约 10,000 个并发代理（见下图！它比 Astra 强大得离谱）

这些代理仅用了 88 小时就达到了解决方案。精简的形式化和验证又花了 17 小时，通过 GPT-6 Astra 完成。

报告的结果：平滑的三维流体运动在平滑外力作用下可以在有限时间内发展出奇点，同时总能量保持有限。

OpenAI 正在分享证明及其 Lean 形式化。仅纳维-斯托克斯努力就消耗了 1300 亿个输出令牌。内部模型仍在训练中。

欢迎来到奇点！