OpenAI claims blockbuster math breakthrough amid swirl of controversy

For the second time, a Millennium Prize Problem, one of math’s most challenging puzzles, has been solved, this time by an AI start-up called OpenAI. They announced that their model proved the Navier-Stokes equations, used to study fluid movement, have a flaw where they predict impossible infinite speeds. This proof was verified using a programming language called Lean. The announcement sparked controversy as mathematician Tristan Buckmaster claimed OpenAI used a method he and his colleague Levent Alpöge were developing. OpenAI denied this, stating their model independently solved the problem. The situation has stirred excitement and debate in the math community, highlighting the growing role of AI in solving complex problems. QUESTION: How might the increasing involvement of AI in solving complex problems change the future of scientific research and discovery?