В открытый доступ выложили крупнейшую в мире базу олимпиадных задач по математике

Речь идёт о более чем 30 тысячах задач с полными решениями.

Детали

Новый архив получил название MathNet. Его создали исследователи из MIT, KAUST и HUMAIN.

В базу вошли:

• более 30 000 задач и решений
• материалы из 47 стран
• 17 языков
• 143 математические олимпиады

По словам авторов, это самый крупный и качественный открытый набор задач такого уровня. Он примерно в пять раз больше ближайших аналогов.

Главное отличие MathNet — не только размер, но и источник материалов. В архив включили официальные сборники национальных олимпиад, а не задачи с форумов и любительских сайтов.

Исследователи собрали 1 595 PDF-файлов общим объёмом более 25 тысяч страниц. Многие из них были получены из старых сканов и частных архивов.

В базе есть не только тексты задач, но и подробные решения, которые проходили экспертную проверку.

Почему это важно

MathNet полезен сразу в нескольких направлениях.

Для школьников и преподавателей это:

• единый архив сложных задач
• доступ к качественным решениям
• возможность готовиться по материалам из разных стран

Для исследователей ИИ это:

• новый способ проверять, насколько хорошо модели действительно умеют рассуждать
• более сложный и разнообразный тест, чем многие прежние наборы задач

Авторы показали, что даже сильные ИИ-модели справляются не идеально. Например, одна из лучших систем решила в среднем около 69% задач из основного тестового набора.

Бэкграунд

Раньше подобные базы обычно опирались в основном на материалы из США и Китая. Новый архив заметно шире: он охватывает десятки стран и разные математические традиции.

Авторы считают, что это важно не только для людей, но и для ИИ, потому что разные страны формулируют и решают задачи по-разному.

Источник

Проект MathNet представили исследователи MIT, KAUST и HUMAIN. Материал будет представлен на конференции ICLR 2026.