MathNet: база из 30 000 олимпиадных задач по математике из 47 стран

Олимпиадные задачи по математике теперь в одном месте

Ребята из MIT собрали базу из 30 тысяч олимпиадных задач из 47 стран, MathNet, доступную всем и с удобным интерфейсом.

Ссылка тут: MathNet

Красивые задачи стало искать намного удобнее. Есть еще функция случайной задачи.

Помимо самого существования, датасет предлагается использовать как бенчмарк для ИИ-моделей. GPT-5, например, решил только 69% задач.

Кто хочет порешать?

Vital Math

Философия чисел, история открытий, ИИ и математика, прикладные задачи — живые тексты о том, как математика устроена и зачем она нужна.