bluesky — Pedro de las Heras Quirós — 11 Sep 2026
> The Real Story in OpenAI's Navier-Stokes Proof: Formal Verification Got 10,000x Cheaper
#ai-assisted-mathematics #computational-mathematics #formal-verification
The Real Story in OpenAI's Navier-Stokes Proof: Formal Verification Got 10,000x Cheaper
explainx.ai/blog/lean-4-...