Les agents Gemini ont généré plus de 6M de lignes de preuves en Lean, en auditant le code afin que les experts humains n'aient à examiner que le 1% critique.
C'est une étape clé vers l'utilisation de l'IA pour vérifier les infrastructures vitales dont nous dépendons tous – des communications quotidiennes aux réseaux électriques. En savoir plus → https://goo.gle/4BLrkbk