Will an AI system solve one of the remaining Millennium Prize Problems before July 2025?

The Millennium Prize Problems are a set of seven of the most notorious unsolved 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 prize awarded by the institute.

As of now, only one of these problems, the Poincaré Conjecture, has been solved by Grigori Perelman in 2003. The remaining six problems: Birch and Swinnerton-Dyer Conjecture, Hodge Conjecture, Navier–Stokes Existence and Smoothness, Riemann Hypothesis, Yang-Mills Existence and Mass Gap, and P vs NP , still remain unsolved.

This question asks whether an AI system will be credit to have solved one of these remaining six Millennium Prize Problems by the end of June 2025.