Створено найбільшу у світі базу олімпіадних задач з математики для учнів та штучного інтелекту

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

Новини у сфері освіти