The mathematicians published machine-checkable proofs. OpenAI announced its result on a call with reporters.
OpenAI says an internal model proved that 3D Navier-Stokes can develop a singularity in finite time, using about 10,000 agents over 88 hours. It described