Navier-Stokes Equations

OpenAI Publishes Claimed Navier–Stokes Proof as Credit and Verification Disputes Follow

Machine-checked Lean files accompany the claim and the result now requires human peer review to determine whether it meets the Clay Mathematics Institute’s prize criteria.