The similarities are way much too terrific to disregard. They probably properly trained the model over a synthetic dataset produced by GPT-4o. The IMO may be the oldest, major and most prestigious Level of competition for younger mathematicians, and has also turn into broadly recognized being a grand problem in https://x.com/kidtsang/status/1884008035535782292