OpenAI Says It Solved a Famous Math Problem; No Proof Shown Yet

OpenAI claims its newest AI solved a famous unsolved math problem called Navier-Stokes. The solution was written in a verification tool called Lean but has not been released or checked by experts. Mathematicians have raised questions. Worth flagging: the claim coincides with a data-access dispute involving NYU's Tristan Buckmaster, whose related work appeared one day earlier.