What the Navier–Stokes AI Proof Actually Shows
OpenAI says an AI-generated, Lean-checked construction establishes finite-time blowup for a forced three-dimensional Navier–Stokes flow. This explainer breaks down the equation, the precise Clay alternatives, the limits of the claim, and why data provenance matters.