Skip to content
Trending storyMonitoring

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

1 article1 sourcesince Nov 11Last article

Overview

AISummary of 1 article

Google DeepMind says its Gemini agents generated over 6 million lines of proofs in Lean and used them to audit code, so human experts reviewed only the critical 1%.

The company presents the work as a step toward using AI to verify vital infrastructure such as communications and power grids. The only source is Google DeepMind's own post on X, and the report does not include independent verification of the results.

Written by AI from the articles below · updated Nov 11, 7:04 AM ET

Check the sources:

Latest developmentNov 11, 6:50 AM ET
Google DeepMind's Gemini agents generate 6 million lines of Lean proofs

Article timeline

The articles in this story. Times are ET.

Nov 11
  1. Google DeepMindOfficial
    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%. The company presents this as a step toward using AI to verify vital infrastructure, such as communications and power grids.

Heat Trend

Current comparable heat
5
Peak comparable heat
10Nov 11, 8:00 AM ET
Change in past 24 hours
–

The trend compares only continuously observed participants, so its scope may be smaller than the current heat total. Hover or tap for hourly heat; use arrow keys with a keyboard.