Will Goldbach's conjecture be proved before 2030?

Will Goldbach's conjecture be proved before 2100?

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

Is Goldbach's Conjecture correct?

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

Will Goldbach's conjecture be proved before 2050?

Will the Goldbach conjecture be found unprovable before 2030?

Will an AI win a Gold Medal on the International Math Olympiad by 2027?

Is the strengthened Goldbach conjecture true?

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