X · Google DeepMind·· 7 小时前AI 评分40
Gemini 智能体在 Lean 中生成超 600 万行证明，人工仅需审核关键 1%
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 → https://t.co/iyfG7Ybt6L
AI 导读
Gemini 智能体在 Lean 中生成超过 600 万行证明，并审计代码，使人类专家只需审核其中关键的 1%。Google DeepMind 称这是用 AI 验证日常通信、电网等关键基础设施的重要一步。
博主
Google DeepMind@GoogleDeepMind
粉丝 161万
认证：X 认证的官方组织
The engine room of @Google. Building AI safely and responsibly to solve the world’s most complex problems. Join us: https://t.co/jUHQA27iBL
互动数据
- 浏览
- 1.6万
- 点赞
- 107
- 评论
- 18
- 分享
- 4
- 收藏
- 16
数字来自平台，为最近一次抓取时的数据。
来源：X · Google DeepMind · x.com