Google DeepMind

Gemini 智能体在 Lean 中生成了超过 600 万行证明，对代码进行审计，因此人类专家只需审查关键的 1%。 这是迈向使用 AI 验证我们都依赖的重要基础设施的重要一步——从日常通信到电网。了解更多 →