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 the result on a press call and had not published the proof. Tristan Buckmaster and Levent Alpoge, working on related problems, published…
No discussion yet. Be the first to share your thoughts!