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