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

Will Goldbach's conjecture be proved before 2050?

Will the Goldbach conjecture be found unprovable before 2030?

Is Goldbach's Conjecture correct?

Conditional on Goldbach's conjecture being false, is Oldbach's conjecture true?

Will Goldbach's conjecture be proved before 2030?

Will Goldbach's conjecture be proved before 2100?

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

Is the strengthened Goldbach conjecture true?

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