Which Millennium Prize Problem will be solved next?

Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2030?

Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?

In 2029, will any AI be able to take an arbitrary proof in the mathematical literature and translate it into a form suitable for symbolic verification? (Gary Marcus benchmark #5)

Will we have a formalized proof of Fermat's last theorem by 2029-05-01?

Will at least one of the remaining Millenium Problems be solved before 2030?

Which of the Millenium Prize problems will be solved next?

Will all Millennium prize problems be solved (or proved unsolvable) by 2040?

Will Artificial Intelligence solve a Millennium Prize Problem before 2035?

Will we have a formalized proof of the Modularity theorem by 2029-05-01?