Naukowcy z MIT wykazali że klasyczna gra Super Mario kryje w sobie problem obliczeniowy równie trudny jak łamanie szyfrowania stojącego za transakcjami finansowymi. Badanie zprowadziło Erik Demaine, profesor informatyki teoretycznej, który zajmuje się analizą złożoności algorytmów i problemów obliczeniowych. Zgodnie z opublikowanymi wynikami, zadanie określenia czy Mario może przejść przez poziom i uratować księżniczkę Peach to problem należący do klasy NP-complete - najwybitniejszych w informatyce problemów bez znanych szybkich rozwiązań.
Projekt nosi roboczą nazwę MIT Hardness Group i jest częścią przedmiotu Algorithmic Lower Bounds - zabawy z dowodami złożoności, który Demaine prowadzi dla studentów. Naukowiec wcześniej zdobył prestiżową stypendium MacArthura za prace z geometrii obliczeniowej, zwłaszcza nad składaniem białek i origami. Jednak jego pasja do analizy złożoności problemów sięga też świata gier wideo, gdzie odkrywa rzeczywiste matematyczne wyzwania.
To badanie pokazuje że klasyczne gry platformowe nie są banalne - zawierają problemy dotykające fundamentów teorii złożoności obliczeniowej. Jeśli komputer miałby sprawdzić czy przejście przez poziom Super Mario jest możliwe, musiałby potencjalnie badać wiele kombinacji ruchów, a szybkiego skrótu do rozwiązania po prostu nie ma. To odkrycie ma znaczenie dla zrozumienia granic tego co komputery mogą i nie mogą efektywnie obliczać.