标题中的“AI大战超级玛丽”听起来像是一个有趣的实验或挑战，即AI系统尝试通过编程和机器学习技术来玩《超级玛丽》这款游戏。实际上，这样的实验确实存在，并且是评估AI算法解决问题能力的一种常见方式。

然而，“Claude 3.7封神，Gemini、GPT-4o全军覆没”这种表述可能有些夸张，也可能是一种比喻，用来形容某个特定版本的AI在特定任务上的表现优于其他版本。但需要注意的是，目前并没有名为"Claude 3.7"或"GPT-4o"的公开发布的AI系统版本。通常讨论中会提到的是Claude（一款由Anthropic开发的语言模型）和GPT系列（由OpenAI开发的一系列语言模型），比如Claude 2和GPT-4等。

在实际应用中，AI系统是否能在游戏中表现出色取决于多个因素，包括但不限于算法的设计、训练数据的质量以及具体实现的技术细节。对于像《超级玛丽》这样需要复杂决策和精确操作的游戏来说，能够成功完成游戏是一个重要的里程碑，但这并不意味着该AI系统在所有领域都是“王者”。不同的AI系统在面对不同类型的任务时可能会展现出不同的优势。

因此，如果要准确地讨论哪个AI系统是真正的“游戏界王者”，我们需要更具体地定义这个“王者”的标准，以及比较的对象是什么版本的哪些系统。