Дослідники виклали у відкритий доступ найбільшу у світі базу олімпіадних задач з математики. Це важливо, бо тепер нею зможуть користуватися і школярі, і викладачі, і розробники ШІ.
Йдеться про більш ніж 30 тисяч задач із повними розв'язками.
ДеталіНовий архів отримав назву MathNet. Його створили дослідники з MIT, KAUST і HUMAIN.
До бази увійшли:
- понад 30 000 задач і розв'язків
- матеріали з 47 країн
- 17 мов
- 143 математичні олімпіади
Головна відмінність MathNet - не тільки розмір, а й джерело матеріалів. До архіву включили офіційні збірники національних олімпіад, а не задачі з форумів і аматорських сайтів.
Дослідники зібрали 1 595 PDF-файлів загальним обсягом понад 25 тисяч сторінок. Багато з них були отримані зі старих сканів і приватних архівів.
У базі є не тільки тексти завдань, а й докладні рішення, які проходили експертну перевірку.
Чому це важливоMathNet корисний одразу в кількох напрямках.
Для школярів і викладачів це:
- єдиний архів складних задач
- доступ до якісних розв'язків
- можливість готуватися за матеріалами з різних країн
- новий спосіб перевіряти, наскільки добре моделі дійсно вміють міркувати
- складніший і різноманітніший тест, ніж багато колишніх наборів завдань
БекграундРаніше подібні бази зазвичай спиралися переважно на матеріали зі США та Китаю. Новий архів помітно ширший: він охоплює десятки країн і різні математичні традиції.
Автори вважають, що це важливо не тільки для людей, а й для ШІ, бо різні країни формулюють і розв'язують задачі по-різному.
ДжерелоПроєкт MathNet представили дослідники MIT, KAUST і HUMAIN. Матеріал буде представлено на конференції ICLR 2026.
