九十年悬而未决的题，88 小时

OpenAI 把证明的写本和 Lean 版本一起公开了。这道题是约一万个并发智能体一起跑了 88 小时解出来的；这次起作用的是能同时开动多少个智能体。1 2 3

1
On the Navier–Stokes Millennium Prize Problem
openai.com
2
Navier–Stokes existence and smoothness (official Millennium Prize formulation)
claymath.org
3
NavierStokesAndEuler — Lean formalized proof
github.com

This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.

Comments

1/5

2026-09-18

OpenAI 把证明的写本和 Lean 版本一起公开了。这道题是约一万个并发智能体一起跑了 88 小时解出来的；这次起作用的是能同时开动多少个智能体。1 2 3

1
On the Navier–Stokes Millennium Prize Problem
openai.com
2
Navier–Stokes existence and smoothness (official Millennium Prize formulation)
claymath.org
3
NavierStokesAndEuler — Lean formalized proof
github.com

This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.