People treat the International Mathematical Olympiad as a benchmark AI must reach before AI can become a real mathematician in the future.

“simple knowledge like common mechanics number theory geometry and algebra but then it kind of require you to have very strong problem-solving skills you need to know how to do a contradiction you can know how to create like counter examples you need to do like observation etc and so people treat this as like the one of the”

“the bar for AI to hit before they become the real mathematicians in the future.”