Urgent.News

What's breaking now, across thousands of outlets.

AI

On the Navier–Stokes Millennium Prize Problem

We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.

We haven't written up this one. OpenAI News has the full story — the link below goes straight to it.

Also reported by 1 other outlet

Read the original at openai.com →

More in AI

More from Tuesday 8 September →