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

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

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

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

Will Goldbach's conjecture be proved before 2040?

Will Goldbach's conjecture be proved before 2100?

Will Goldbach's conjecture be proved before 2030?

Will the alleged proof of P!=NP by Ke Xu and Guangyan Zhou be recognized as valid by 2050?

Will the Goldbach conjecture be found unprovable before 2030?

Will the Goldbach conjecture be solved by the end of 2030?