OpenAI publishes its Navier-Stokes proof and says it will not claim the Millennium Prize

When OpenAI announced on a press call that an internal model had cracked one of mathematics’ hardest open problems, we wrote that nobody had seen the proof. That is no longer true, and what has now been published narrows the claim in ways…