MathNet

Крупнейший в мире набор данных задач Международной математической олимпиады, представленный MIT CSAIL.

Проект содержит обширную базу математических задач для обучения и тестирования моделей. Инструмент предназначен для исследователей в области ИИ, специализирующихся на математическом рассуждении.

Источник: @MIT_CSAIL, 22-04-2026