Gemini智能体生成600万行Lean证明

事件综述根据 1 篇报道整理，11月11日更新

Google DeepMind 称，其 Gemini 智能体在 Lean 中生成了超过 600 万行证明，并对代码进行审计，使人类专家只需复核其中关键的 1%。 Google DeepMind 将这一成果描述为用 AI 验证日常通信、电网等关键基础设施的一步。上述数字和“人类只需复核 1%”均为该公司自述，未提及独立验证或复现。

综述由模型根据报道生成，细节以各篇原文为准。