AI solving math problems has entered a new phase as researchers examine whether artificial intelligence could help resolve more of the world’s major unsolved mathematical questions. Scientific American reports that an OpenAI model may have solved the Navier-Stokes problem, one of the Millennium Prize Problems carrying a $1 million prize, although the mathematical result still requires scrutiny. Five Millennium Prize Problems remain after the Poincaré conjecture and the reported Navier-Stokes development. Researchers are now discussing whether AI could contribute to problems including the Birch and Swinnerton-Dyer Conjecture, Hodge Conjecture, Riemann Hypothesis, Yang-Mills Theory and P versus NP. These problems cover areas such as number theory, geometry, physics and computer science. AI tools could help mathematicians explore complex calculations, identify patterns and test possible approaches. However, experts differ on how quickly AI can contribute to the hardest problems. Human mathematical verification remains essential before any proposed solution can be formally accepted.
AI Solving Math Problems: Which Million-Dollar Problem Comes Next?
