DeepMind 放出 cryptids 仓库：含著名猜想的 Lean 永续图灵机证明

Google DeepMind 开源 cryptids GitHub 仓库，内含微型图灵机及对应的 Lean 形式化证明：除非某个著名数学猜想为假，这些图灵机将永远运行下去。此举被解读为 Google 在 AI for Math 与形式化验证方向实力回归的信号，也常被视为模型发布前的「热身」动作，不过 Gemini 4「Argon」的发布信息目前仍为传闻。