Noticias
DeepMind verifica el protocolo Signal con código de AlphaProof
Los agentes de DeepMind probaron que el código central de Signal es seguro a nivel de máquina en cuatro semanas, al escribir más de seis millones de líneas de prueba en Lean.






