Super Mario is mathier than you think

AI 摘要

一句话摘要: MIT研究证明超级马里奥游戏关卡难度属于不可判定问题，比加密破解更复杂。 关键事实: MIT团队利用Super Mario Maker创建了不可判定难度的关卡，证明马里奥问题属于RE-Complete复杂度类，比PSPACE更难，马里奥问题复杂度超过旅行商问题和因数分解问题。 涉及主体: MIT Hardness Group, Erik Demaine, Hayashi Ani, Holden Hall, Ricardo Ruiz, Naveen Venkat, Nintendo 可能影响: 该研究将游戏复杂度理论推向新高度，可能启发AI和加密算法在不可判定问题上的应用探索，但短期内对Web3行业直接影响有限。 是否值得继续跟踪: 否，该研究偏向理论计算机科学，与AI+Crypto/Web3行业直接关联度低，除非未来有应用在区块链验证或AI决策边界上。 噪音/炒作风险: 低，研究来自MIT学术团队，有严谨理论支撑，但非行业热点，市场关注度有限。