Mark Chen· @markchen90 · X·· 22 天前AI 评分60
AI 导读
OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个证明，该问题关于三维光滑流体运动的描述是否会失稳，已悬置约 90 年。证明由一组智能体使用一个能力显著强于 GPT-6 Astra 的 OpenAI 下一代模型产出。OpenAI 首席研究官 Mark Chen 转发并表示，许多同事因相信 AI 是解决各领域大挑战的最快途径而离开原领域，看到第一个挑战落下令他感到不真实。
正文
We solved Navier-Stokes!
Many of my colleagues left their fields because they believed that working on AI would be the fastest way to solve their fields' grand challenges.
It's surreal to see the first of those challenges fall and to watch a future we believed in become real.
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.在 X 查看被引用的帖子
来源：Mark Chen · x.com