GoKawiilOpenAI, Anthropic AI breakthroughs spark credit disputes among mathematicians
OpenAI announced its AI agents helped solve a 90-year-old math problem carrying a $1 million prize, building on work by mathematicians Diego Córdoba and Luis Martínez-Zoroa, though the solution still requires independent verification. Mathematician Tristan Buckmaster alleges OpenAI rushed to publish after learning of his own unpublished work with Anthropic researcher Levent Alpöge, and tried to shape who received credit. The dispute follows Anthropic's recent claim that its Claude model proved thousands of small theorems while formalizing a proof of Fermat's Last Theorem.