OpenAI proposed that Tristan Buckmaster write up the Navier-Stokes result alone, excluding co-researcher Levent Alpoge due to Alpoge's employment at Anthropic