SDSignal Desk

Desk

Generative

Generative models for text, image, audio, and video.

AISep 8, 2026OpenAI

On the Navier–Stokes Millennium Prize Problem

OpenAI says an internal multi-agent system—stronger than GPT-6 Astra—produced a Lean-checked singularity proof for Navier–Stokes statements C and D, and it will not claim the Millennium Prize.