OpenAI: ~10K agents produce Lean-checked Navier–Stokes blowup proof
OpenAI says about 10,000 coordinating agents on an internal model past GPT 6 Astra produced a Lean formalized proof that 3D incompressible Navier–Stokes can develop a finite time singularity, after 8…
