据《新科学家》报道，数学家们发现，即使花费数年时间，世界上最强大的超级计算机也无法确定《超级马里奥》系列中的某些关卡(尤其是经过修改的自定义关卡)是否可以在人类真正玩之前完成。

虽然得出这一结论所使用的测试方法肯定比普通的平台游戏玩法要高级得多，但实际上在官方未经修改的《马里奥》系列中已经有先例可以证明这一点。

在《马里奥制造》游戏中，玩家可以基于2D时代的马里奥游戏创建自定义关卡，其中最明显的限制之一是用户无法上传自己无法通关的关卡。这可以通过使用工具辅助运行来缓解，但这导致整个《马里奥制造》社区不得不争分夺秒，他们必须在WiiU的在线服务停止之前完成为该游戏上传的所有自定义关卡。

那么，这个更科学的结论是建立在什么基础上的呢?当然是游戏修改和数学理论的结合。通过消除引擎内对敌人数量的限制，麻省理工学院的研究人员能够在单个位置放置数百甚至数千个敌人，并有效地在相关关卡内创建一个“计数器机器”或功能齐全的计算机。

在计数器机器完好无损的情况下，研究小组指出了一个名为“停机问题”的难题，这个问题说明，除了运行计算机程序并观察会发生什么之外，没有其他方法可以确定计算机程序是否会终止或永远运行。

正如麻省理工学院的ErikDemaine所说，“我们的想法是，只有当这个特定的计算终止时，你才能够解决这个马里奥关卡，而我们知道没有办法确定这一点，所以没有办法确定你是否能够解决这个关卡。”

作为一个专门从事平台游戏、格斗游戏和DevilMayCry系列(想想平台游戏运动+格斗游戏组合结构)的时尚动作游戏的人，我说让我来玩玩吧。一百个Goombas?一千个?对我这样的怪物来说不算什么。现在Spinies完全是另一回事，特别是如果所讨论的级别没有强化道具或其他可以用作投掷武器的敌人……