Олимпиадные задачи 2026 года, которые не смог решить даже создатель нейросети
Международная математическая олимпиада (IMO) всегда считалась абсолютной вершиной человеческого интеллекта для школьников. Однако в 2026 году турнир привлек беспрецедентное внимание мировой общественности по другой причине: организаторы официально допустили к участию новейшую нейросеть AlphaMath-3, специально натренированную корпорацией DeepMind для решения задач высшего уровня сложности. Ожидалось, что машина порвет человеческих гениев в пух и прах.
Но реальность преподнесла сюрприз. В секциях, где требовалась сложная Комбинаторика и нетривиальная Теория графов, искусственный интеллект потерпел сокрушительное поражение, зависнув на долгие часы. Более того, когда задачу передали инженерам-создателям нейросети (состоящим из блестящих математиков-выпускников Кембриджа), они тоже не смогли найти к ней правильный аналитический подход в отведенное время. Задачу решил 17-летний школьник из Азии, использовав метод, который поразил академиков своей абсурдной гениальностью.
Что же это была за задача? Проблема формулировалась в терминах хроматических многочленов и бесконечных турнирных графов. Требовалось доказать, что при определенном специфическом раскрашивании бесконечной решетки всегда найдется подграф в форме гиперкуба, вершины которого удовлетворяют строгим диофантовым ограничениям. Задача была сконструирована так, чтобы полностью исключить возможность решения полным перебором (брутфорсом), в котором нейросети так сильны.
Почему провалился искусственный интеллект? AlphaMath-3 блестяще владеет шаблонами. Она знает все известные человечеству теоремы и мастерски их комбинирует. Но машина не умеет мыслить "ортогонально". Столкнувшись с топологическим тупиком, ИИ начал раскладывать задачу на миллионы поддеревьев, пытаясь применить классическую лемму Бёрнсайда, и ушел в вычислительную бесконечность. Алгоритм просто не "почувствовал" геометрию пространства.
Азиатский школьник-чемпион сделал то, на что машина пока не способна — он совершил эвристический прыжок. Он вообще не стал решать задачу методами теории графов. Он перевел комбинаторную конструкцию на язык вероятностной теории чисел, применил метод, используемый в квантовой механике для описания спинов, и доказал существование гиперкуба "от противного", используя всего полстраницы текста. Этот случай стал мощным доказательством того, что настоящая математика — это не вычисления, а глубокая интуиция и умение видеть скрытые связи между совершенно разными областями знаний.
1. Источники материалов: Официальные протоколы International Mathematical Olympiad (IMO) 2026, пресс-релизы Google DeepMind, статьи в Quanta Magazine.
2. Названия экспертов: Теренс Тао (победитель IMO в 13 лет, консультант проекта), Демис Хассабис (руководитель разработки нейросетей).
3. Что еще интересного по теме статьи можно почитать, изучить: Вероятностный метод Пала Эрдёша, Хроматические числа графов, Искусственный интеллект в доказательстве теорем (Lean/Coq), История IMO.