Controversy over OpenAI's Maths Breakthrough (www.scientificamerican.com)

OpenAI has announced a significant breakthrough in mathematics, claiming that its internal AI model has independently proven the Navier-Stokes equations—one of the seven Millennium Problems—to be fundamentally flawed. This groundbreaking discovery suggests that the equations, used to describe fluid dynamics, lead to scenarios where fluid speed can become infinite, a phenomenon deemed impossible in reality. The proof was validated using the Lean programming language, a method that bolsters its credibility. This development has sparked controversy as mathematician Tristan Buckmaster alleged that OpenAI's proof was influenced by his and colleague Levent Alpöge's recent work on a related problem. While OpenAI has denied these claims, maintaining that their approach diverged from Buckmaster and Alpöge's methods, the timing of OpenAI's announcement raises questions about collaboration and knowledge transfer within the AI and mathematics communities. This incident underscores the growing role that AI plays in tackling complex mathematical problems, prompting rigorous discussions on the ethical implications and originality of AI-generated proofs in academia.