Noam Brown 就 OpenAI 宣布以智能体组合求解 Navier-Stokes 千禧年大奖难题发表看法,承认这次证明花费数百万美元,但认为成本会快速下降。
是的,这个结果花费了数百万美元。
但请记住,当 @OpenAI 发布 o3 时,在 ARC-AGI 1 上取得 87.5% 的分数花费了约 50 万美元。如今,Astra 以约 20 美元的成本取得了更高的分数。
在 2025 年,我们和 GDM 投入了巨大的算力才在国际数学奥林匹克竞赛(IMO)中夺得金牌。而对于 2026 年的 IMO,任何拥有每月 20 美元 ChatGPT 订阅的人都能做到。
大规模扩展测试时计算让我们得以一窥未来。我相信,一年之后,每个人都将触手可及一个能够解决这一级别问题的 AI。
我们正在分享一个针对纳维-斯托克斯千禧年大奖难题的解决方案,这是数学前沿最深刻的问题之一。 该证明由一组智能体完成,使用了OpenAI的下一代模型,其能力显著超越GPT-6 Astra。 该问题关乎由纳维-斯托克斯方程建模的光滑三维流体运动描述是否会失效。这一问题已悬而未决约90年。
原文
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 concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
来源:Noam Brown · x.com