Un des étudiants du MIT ayant contribué à la preuve de l'indécidabilité de Super Mario.
Les recherches menées par le MIT révèlent que certains niveaux de Super Mario sont indécidables, plaçant le jeu dans une classe de complexité extrême. Cette découverte soulève des questions sur les limites de la calculabilité et offre des opportunités pour des applications en robotique et modélisation chimique.