https://www.axios.com/2026/09/08/openai-math-solution-navier-stokes-credit 


State of play: OpenAI said Tuesday an internal model “significantly more capable than GPT-6 Astra” produced a proof that the three-dimensional Navier–Stokes equations can develop a singularity in finite time. 

The company says the effort began Sept. 1, after OpenAI researchers heard rumors that two Millennium Prize prob...