超级马里奥隐藏意想不到的数学复杂性：游戏如同通用计算机

麻省理工学院（MIT）研究团队在埃里克·德迈因教授的带领下证明，经典游戏《超级马里奥》具备数学不可解的特性。研究人员指出，游戏关卡能够模拟任意计算机的运行，使其与计算理论中的基础问题（如停机问题）并列。

研究基于「组件」概念——局部关卡区域可作为逻辑单元运作。例如，游戏中的门可通过敌人（Spiny）的位置开关，从而模拟真或假的逻辑状态。通过组合此类元素，研究人员构建了类似计算机内存的计数器，实现数据存储与处理。

这一发现的独特之处在于，即使关卡尺寸有限，敌人与障碍的数量理论上可无限扩展，从而模拟具备无限内存的计算机。这意味着超级马里奥关卡在理论上可解决任何计算任务：从排程优化到数学定理证明，乃至大语言模型（LLM）的运算。

研究成果凸显了看似简单的游戏中可能隐藏复杂的数学结构。该研究还拓展了可计算性边界的认知，并展示了游戏机制如何应用于模拟真实计算过程。