Gemini智能体生成超600万行Lean证明
热点事件持续更新
Gemini智能体生成超600万行Lean证明
1 篇报道1 个报道来源7 小时前更新
先了解这件事
AI 综述
Google DeepMind 公布，Gemini 智能体在 Lean 中生成超过 600 万行证明，并审计代码，使人类专家只需审核其中关键的 1%。DeepMind 称，这是用 AI 验证日常通信、电网等关键基础设施的重要一步。 上述“人类只需审核 1%”是 DeepMind 对这套生成与审计流程的说法，报道未给出该比例在实际验证中的独立效果。
AI 根据报道生成 · 5 小时前更新
最新进展11月11日 19:50
Gemini 智能体在 Lean 中生成超 600 万行证明，人工仅需审核关键 1%报道时间线
沿着报道，了解事件的不同侧面。
11月11日
- X · Google DeepMindGemini 智能体在 Lean 中生成超 600 万行证明，人工仅需审核关键 1%
Gemini 智能体在 Lean 中生成超过 600 万行证明，并审计代码，使人类专家只需审核其中关键的 1%。Google DeepMind 称这是用 AI 验证日常通信、电网等关键基础设施的重要一步。
本事件热度走势
- 可比范围当前
- 8
- 可比范围峰值
- 911月11日 22:00
- 近 24 小时变化
- –
02.557.510
22:0023:0011月12日01:0002:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。