Словарь
Международная математическая олимпиада
Международная математическая олимпиада (International Mathematical Olympiad, IMO) — старейшее и самое известное ежегодное соревнование по математике для школьников, где участники из десятков стран решают задачи на доказательство. Её задачи стали популярным способом проверять способность ИИ-систем к строгим математическим рассуждениям.