I am always interested in the development of AI within mathematics, particularly in number theory. I read [on this website](https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/) 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)?