bluesky — 15 Sep 2026
openai says an unreleased ai solved navier-stokes in 88 hours, formalized by astra. remarkable how all these 'breakthrou…
#fluid-dynamics #computational-mathematics #ai-assisted-proof
openai says an unreleased ai solved navier-stokes in 88 hours, formalized by astra. remarkable how all these 'breakthroughs' come from models only they can access.