An NYU mathematician says OpenAI raced him to a Millennium Prize problem
Tristan Buckmaster announced preliminary findings on Navier-Stokes; OpenAI published a full proof the same day, after spending 300 billion output tokens. It says it never saw his work.