AI solves International Math Olympiad problems at silver medal level 2 years ago
One key difference between giving humans more time and giving computer programs more time is that historically we have had more success making the latter run faster than the former.