Mathematician who accused OpenAI of copying his proof keeps using its AI tools anyway
NYU professor Tristan Buckmaster, who publicly alleged OpenAI's Codex used his unpublished work to solve the Navier-Stokes problem before he could, says he continues relying on Codex and Anthropic's Claude for his research despite the dispute. OpenAI investigated the claim and stated Buckmaster's prompts could not have influenced its system or training, while Buckmaster maintains the episode shows AI's growing reach into frontier mathematics.