Международная математическая олимпиада
Международная математическая олимпиада (International Mathematical Olympiad, IMO) — старейшее и самое известное ежегодное соревнование по математике для школьников, где участники из десятков стран решают задачи на доказательство. Её задачи стали популярным способом проверять способность ИИ-систем к строгим математическим рассуждениям.
проверено по: imo-official.org ↗
См. также
- Международная олимпиада по информатикеЕжегодная олимпиада по программированию для школьников, проводится с 1989 года (International Olympiad in Informatics, IOI). Каждая страна присылает до четырёх участников, которые выступают индивидуально. За два тура они решают алгоритмические задачи и пишут программы, а баллы начисляются автоматически: решение должно пройти закрытые тесты с ограничениями по времени и памяти. В отличие от студенческой командной ICPC, это личное соревнование школьников; ИИ-лаборатории используют задачи олимпиады, чтобы проверять, как модели справляются с программированием.
- Международный конгресс математиковКрупнейший международный съезд математиков (International Congress of Mathematicians, ICM). Его раз в четыре года проводит Международный математический союз. На открытии конгресса объявляют лауреатов главных наград союза: Филдсовской премии, медали Абакус, премии Гаусса и медали Черна. Пленарные и приглашённые доклады на конгрессе считаются признанием важнейших результатов в математике.
- Филдсовская премияОдна из самых престижных наград в математике — медаль и денежная премия (Fields Medal). Её вручают раз в четыре года на Международном конгрессе математиков двум, трём или четырём учёным не старше 40 лет. В отличие от Абелевской премии, её не дают ежегодно и за достижения всей жизни.
- Omni-MATH-2Бенчмарк из задач математических олимпиад для проверки языковых моделей — вручную очищенная версия бенчмарка Omni-MATH. Математик проверил каждую задачу: дополнил недостающие условия и рисунки и пометил нестандартные задачи (на доказательство, оценку или с изображением). Основное подмножество содержит только задачи с точным ответом, которые удобно проверять автоматически.
В новостях
NVIDIA объяснила, как дообучила Nemotron до уровня олимпиадного золота
Ежегодная олимпиада по математике для школьников из многих стран: за два дня участники решают шесть задач на доказательство, каждая стоит до 7 баллов. Медали присуждают по сумме баллов.