The result was never the point. Clearly the real-world cannot "blow-up" - real-world water vortices do not reach infinite velocity, etc. The point of having N

The result was never the point. Clearly the real-world cannot "blow-up" - real-world water vortices do not reach infinite velocity, etc. The point of having Navier-Stokes as a Millennium prize was to hopefully generate new mathematics and techniques along the way, and auto-generating a sprawling AI-slop proof or millions of lines of Lean does not accomplish that result. Clearly OpenAI has no interest in the math itself - to them this was just a trophy animal to shoot and stuff. I would be very surprised if they now helped analyze the proof and try to extract the mathematical value out of it, and this would obviously require outside help who are probably not inclined to help OpenAI math-wash their behavior.