Will the next Millennium Prize Problem be solved by AI?

The Millennium Prize Problems are seven problems in mathematics that were stated by the Clay Mathematics Institute in 2000. A correct solution to any of the problems results in a 1 million dollar prize being awarded by the institute to the discoverer(s). The problems are:

• The Birch and Swinnerton-Dyer conjecture
• Hodge conjecture
• Navier–Stokes existence and smoothness
• P versus NP problem
• Poincaré conjecture
• Riemann hypothesis
• Yang–Mills existence and mass gap

To date, the only Millennium Prize problem to have been solved is the Poincaré conjecture, which was solved in 2003 by the Russian mathematician Grigori Perelman. He declined the prize money.