IT Home reports a dispute involving OpenAI and Anthropic researchers over mathematical proof work

According to IT Home, a study by New York University mathematician Tristan Buckmaster and Anthropic mathematician Levent Alpöge used Codex and Claude before OpenAI published a related Navier–Stokes proof, prompting a dispute over timing and credit; the reported proof and priority claims require independent checking.