🚨 OPENAI HAS A PROOF OF THE NAVIER–STOKES MILLENNIUM PROBLEM the NYU mathematician Tristan Buckmaster says he was told that OpenAI has a 100 page proof of the finite-time Navier–Stokes blowup. if the proof is verified then it solves one of mathematics’ $1M Millennium Prize Problems (P vs NP is one of those).