Исследователи из MIT CSAIL, KAUST и компании HUMAIN представили MathNet — крупнейший набор данных олимпиадных задач по математике. Он включает более 30 000 задач и решений из 47 стран, 17 языков и 143 соревнований, охватывая четыре десятилетия. Набор в пять раз превосходит предыдущие аналоги и доступен всем. Тестирование ИИ-моделей показало, что даже GPT-5 решает лишь 69,3% задач, а открытые модели проваливаются на редких языках. MathNet также включает бенчмарк для поиска структурно похожих задач, где лучшие модели находят верное соответствие лишь в 5% случаев.