AI had made rapid strides in math in recent times, with several models winning gold at the Math Olympiad, but it now ...