AI may have just solved a million-dollar math problem. The field will never be the same

Artificial intelligence has reportedly made a breakthrough on one of the six Clay Millennium Prize Problems: the Navier-Stokes equations, which describe fluid flow. Mathematician Tristan Buckmaster claimed that he and colleague Levent Alpöge, using Anthropic's AI, had made significant progress. However, he alleged that OpenAI learned of their work and used its own large language model to complete the proof. OpenAI denied these allegations. The achievement, if validated, proves a mathematical 'blow-up' is possible for the equations, a monumental step. However, the proof relies on a specific formulation of the problem that some experts consider non-standard, potentially creating a debate about whether the problem is truly solved. The event marks a pivotal moment, similar to the Deep Blue chess victory, forcing the mathematical community to reconsider the role of AI in research and the implications for human intellectual endeavor.

(Source：Scientific American)