Даже суперкомпьютеры не могут определить, можно ли пройти определенные уровни в серии Super Mario

Хотя методология тестирования, используемая для достижения этого вывода, безусловно, намного более высокого уровня, чем обычный игровой процесс платформера, на самом деле существует прецедент для этого открытия в самой официальной, немодифицированной серии Mario.

В играх Mario Maker, которые предлагают игрокам возможность создавать собственные уровни на основе 2D-эры игр Mario, одним из наиболее заметных ограничений является то, что пользователи не могут загружать уровни, которые они не смогут пройти самостоятельно. Это можно было немного упростить с помощью специальных инструментов, но привело к тому, что все сообщество создателей Mario работало наперегонки со временем, и им пришлось очистить все пользовательские уровни, загруженные для этой игры, прежде чем онлайн-сервис Wii U был закрыт.

Итак, на чем же основан этот более научный вывод? Разумеется, сочетание игровых модификаций и разработки математической теории. Убрав внутренние ограничения на количество врагов, исследователи Массачусетского технологического института смогли разместить сотни или даже тысячи врагов в отдельных точках и эффективно создать «противодействующую машину» или работающий компьютер внутри рассматриваемых уровней.

Имея исправную машину-счетчик, команда указала на загадку, называемую «проблемой остановки», которая гласит, что нет способа определить, завершится ли компьютерная программа или будет работать вечно, кроме как запустить ее и посмотреть, что произойдет.

Как утверждает Эрик Демейн из Технологического института Массачусетского технологического института: «Идея состоит в том, что вы сможете решить этот уровень Марио только в том случае, если это конкретное вычисление завершится, и мы знаем, что нет никакого способа определить это, и поэтому нет никакого способа чтобы определить, сможете ли вы пройти уровень».