# Google DeepMind's Gemini agents generate 6 million lines of Lean proofs

> Original title: Gemini agents generated over 6M lines of proofs in Lean, auditing the code so human experts only had to review the critical 1%.

- Source: Google DeepMind
- Published: 2026-11-11T11:50:16.000Z
- Bad Influence: https://badinfluence.news/items/rjfz3c7rsps8lojb6667fqz17
- Original: https://x.com/GoogleDeepMind/status/2120484249321033911

## Summary

Google DeepMind says Gemini agents generated over 6 million lines of proofs in Lean and audited the code. Human experts only had to review the critical 1%. The company presents this as a step toward using AI to verify vital infrastructure, such as communications and power grids.

## Post

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://goo.gle/4BLrkbk