AI 导读
OpenAI 分享 Navier-Stokes 千年难题的一个解答，称该证明由一组智能体使用比 GPT-6 Astra 能力显著更强的 OpenAI 下一代模型产出。该问题讨论三维流体光滑运动的描述是否会失效，已悬置约 90 年。转发此消息的 Ethan Mollick 称这是件大事，同时指出围绕学术署名以及证明竞赛中先后来序的争议仍需解决。
正文
This is a big one.
(And yes, the fights over academic credit and what happened when in the race for the proof need to be resolved, but it is still a big one.) https://t.co/tdyump8WZu
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 查看被引用的帖子
来源：@emollick · x.com