I am always interested in the development of AI within mathematics, particularly in number theory. I read on this website that AI has achieved a silver-medal level in solving IMO problems, which has caused quite a stir on social media. However, I need to know if this news is true. I am aware that some mathematicians are disappointed with AI's contributions to number theory. Is it true that AI achieves a silver-medal standard in solving International Mathematical Olympiad problems (IMO 2024UK)?