Models · OpenAI News · Update

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.

Why it matters

This matters to teams comparing model capability, API access, or migration timing. Check the source for availability and evaluation conditions.

What changed

The technical change sits in models. Check what is available now, how it was evaluated, and where the source's claim stops.

What to watch

The main uncertainty is scope: vendor claims still need workload, pricing, availability, and independent context.