New York University mathematician Tristan Buckmaster declined OpenAI's proposal to publish the Navier-Stokes result without Levent Alpoge