OpenAI releases a Navier-Stokes singularity proof

OpenAI says an internal system proved that smooth fluid motion can form a finite-time singularity, releasing both a paper and a Lean formalization. Roughly 10,000 concurrent agents explored the problem and Lean verification took another 17 hours. Independent mathematical review still matters, but the work signals a new scale of verifiable research collaboration.