NYTIMES (Kenneth Chang) - The Mathematician Crushed Between OpenAI and Anthropic Over a Math Problem
Tristan Buckmaster was on the path toward an important proof when one of the A.I. giants used its staggering resources to get there first.
Tristan Buckmaster was on the path toward an important proof when one of the A.I. giants used its staggering resources to get there first.
OpenAI says its AI has solved the Navier–Stokes Millennium Prize problem, a potentially historic breakthrough shadowed by questions over unpublished research by outside mathematicians. Why it matters: The controversy strikes at a core trust question for AI-assisted science: whether researchers can safely use frontier labs' tools to work on unpublished discoveries. State of play: OpenAI said Tuesday an internal model "significantly more capable than GPT-6 Astra" produced a proof that the three-dimensional Navier–Stokes equations can develop a singularity in finite time. - The company says the effort began Sept. 1, after OpenAI researchers heard rumors that two Millennium Prize problems had been solved and launched its new internal…