The similarities are way far too wonderful to disregard. They almost certainly experienced the design with a artificial dataset created by GPT-4o. The IMO could be the oldest, largest and many prestigious competition for younger mathematicians, and has also come to be extensively regarded to be a grand challenge in https://x.com/kidtsang/status/1884008035535782292