Google DeepMind presentó AlphaProof Code, un framework que combina agentes de Gemini con el lenguaje Lean para probar matemáticamente la seguridad del protocolo de Signal. El proceso, que normalmente toma años, se completó en cuatro semanas y generó más de seis millones de líneas de prueba formal.
