Gemini Carbon

Gemini Carbon 展示了一个双 Agent 协作演示：构建 Agent 在 Blender 与 Three.js 中生成建模，审查 Agent 检查渲染结果并迭代，最终产出一款可玩的 3D 游戏，鹈鹕骑自行车穿行 Google 山景城园区。该案例直观呈现了多 Agent 自审闭环在 3D 内容生成中的可行性。

Google DeepMind 用 Gemini Carbon 智能体集群为 Signal 实际运行的编译后代码生成约 650 万行 Lean 形式化证明，在处理器指令层面数学验证消息保密性，且证明由 Lean 检查器独立校验，无需信任 AI 本身。该工作耗时约 4 周，而专家团队过去需要数年，人类仅负责设定安全目标并复核智能体标记的约 1% 内容。这是首次对广泛使用的协议在机器码层面完成端到端形式化验证。