Google DeepMind· @GoogleDeepMind · X·· 6 小时前AI 评分63
AI 导读
Google DeepMind 介绍 Gemini 智能体生成了超过 600 万行 Lean 形式化证明，并对代码进行审计，使人类专家只需复核其中关键的 1%。官方称这是用 AI 验证关键基础设施（从日常通信到电网）的重要一步，详情见 goo.gle/4BLrkbk。
正文 · 原文
Gemini agents generated over 6M lines of proofs in Lean, auditing the code so human experts only had to review the critical 1%.
This is a key step toward using AI to verify vital infrastructure we all rely on – from daily communication to power grids. Find out more → goo.gle/4BLrkbk
来源：Google DeepMind · x.com