Will an AI win gold at the International Math Olympiad before 2026? | SimpleFunctions