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

gaganghotra_ · x · 2026-10-13

在 Gemini 4「Argon」即将发布之际，Google DeepMind 开源了一个名为 cryptids 的 GitHub 仓库。据转发者介绍，其中包含微小的图灵机——除非某个著名数学猜想为假，否则它们将永远运行下去——并配有相应的 Lean 形式化证明。这被解读为 Google 在 AI for Math/形式化验证方向实力回归的信号，也常被视为模型发布前的「热身」动作（Gemini 4 Argon 发布信息暂为传闻）。

原文链接 →

「模型」频道最新

• Nature Will 发布 Natura-1:百万小时自我中心视频训练的物理世界基座模型 — testingcatalog · 2026-10-13
• 用户质疑:GPT-6.1 Sol 额度宽松是靠刻意限速省算力 — AccomplishedSugar490 · 2026-10-13
• 实测四家模型:ChatGPT 上下文窗口竟是主流聊天模型中最小 — JeremyNguyenPhD · 2026-10-13
• Patronus 实测:注入检测与动作审批是两个不同任务,混用会出事 — PatronusProtect · 2026-10-13
• 微调 BERT+LLM 混合管线优势被新一代模型清零的教训 — rajistics · 2026-10-13
• 预测：Opus 5.5 将能在 24GB 单卡上本地运行 — TheZachMueller · 2026-10-13

更多「模型」频道 AI 资讯 →