AI solves Math Olympiad problems at silver medal level