Claims emerge of AI assisting breakthroughs on major mathematics problems

Mathematician Tristan Buckmaster reported that OpenAI privately claimed an AI model solved the Navier-Stokes Millennium Prize problem, though no public proof has been made available. Meanwhile, published research using models from OpenAI and Anthropic shows verified progress on related fluid dynamics equations.