Дослідники з Массачусетського технологічного інституту та інших установ оголосили про створення MathNet — найбільшої відкритої бази олімпіадних математичних задач. База містить понад 30 тисяч задач з 143 змагань за останні 40 років та стане корисною для учнів і науковців у всьому світі.
Дослідники з Лабораторії комп’ютерних наук та штучного інтелекту Массачусетського технологічного інституту (CSAIL), Університету науки і технологій короля Абдалли (KAUST) та компанії HUMAIN створили найбільшу у світі відкриту базу олімпіадних математичних задач — MathNet. База містить понад 30 тисяч задач і розв’язків зі 143 математичних змагань за останні 40 років, що робить її найбільшою і найякіснішою збіркою задач у світі, у п’ять разів більшою за найближчий аналог.
MathNet охоплює матеріали із 47 країн, написані 17 мовами на шести континентах. У базі представлені як текстові, так і візуальні задачі, а також детальні експертні розв’язання, які пропонують кілька підходів до однієї проблеми. Зазвичай ці задачі розраховані на учнів 8–11 класів, які беруть участь у поглиблених математичних змаганнях, а також на студентів-початківців, що тренують логічне та доказове мислення.
За словами провідної авторки дослідження, аспірантки MIT Шейден Альшаммарі, щороку країни-учасниці міжнародних олімпіад з математики (IMO) привозять збірники найцікавіших задач, але після обміну між делегаціями ці матеріали часто не потрапляють у відкритий доступ. Щоб створити MathNet, команда зібрала 1595 PDF-збірників обсягом понад 25 тисяч сторінок, значну частину архіву надав Навід Сафаеї — ветеран IMO-спільноти.
Проєкт буде представлений на конференції International Conference on Learning Representations у Бразилії наприкінці квітня. Розробники наголошують, що база стане корисною не лише для науковців, а й надасть школярам з усього світу централізований доступ до якісних задач і перевірених розв’язків, особливо в країнах, де не вистачає тренерів для підготовки до математичних олімпіад.
MathNet може стати важливим ресурсом і для українських учнів, які готуються до всеукраїнських олімпіад або міжнародних математичних турнірів самостійно. Окрім освітньої функції, MathNet став новим тестом для штучного інтелекту. Попри гучні заяви про «олімпіадний» рівень ШІ, результати показали, що навіть найкращі моделі ще далекі від досконалості. Наприклад, GPT-5 правильно розв’язав у середньому 69,3% із 6400 задач основного тесту.
Дослідники сподіваються, що MathNet зробить якісну підготовку до математичних олімпіад доступнішою для школярів у всьому світі та допоможе створювати сильніші моделі штучного інтелекту.
