AI solves International Math Olympiad problems at silver medal level | Heykuki News