OpenAI: ~10,000 AI agents find finite-time singularity in Navier–Stokes after ~88 hours; Lean proof released

OpenAI: ~10,000 AI agents find finite-time singularity in Navier–Stokes after ~88 hours; Lean proof released - Airosetta News