Infrabayesianism

Will an AI solve any important mathematical conjecture before January 1st, 2030?