Audit confirms OpenAI proof of Navier-Stokes and Euler Blowup is valid and adheres to the requirements of the clay prize
I did a full audit of the proof. Lean 4 formalization audit (see ReadMe.md) of finite-time blowup constructions for forced 3D Navier–Stokes equations on Euclidean space and the periodic torus, and unforced 3D Euler. Includes formal statements corresponding to the Clay Navier–Stokes alternatives (C)…
Read the full story at r/agi ↗