Skip to content
View original post on X: Google DeepMindOfficial
Published
58/100

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

AIGoogle 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%.
Google DeepMindVerified on XOfficial
@GoogleDeepMind
View on X

Part of a thread · earlier 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

Source details

Google DeepMind · x.comPublished · added here

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%.

Topics

Google / GeminiAI agentsAI codingPapers & research