“Solving all problems of the National Math Olympiad is a more difficult milestone for AI than achieving a gold medal at the International Mathematical Olympiad.”