Google DeepMind
@GoogleDeepMind
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 →
