#signal

AI agenti DeepMind matematicky dokázali bezpečnost kódu Signalu. Za čtyři týdny místo let

Google DeepMind představil AlphaProof Code, systém AI agentů pro formální verifikaci. Ověřil s ním klíčové bezpečnostní vlastnosti kryptografické knihovny Signalu až na úroveň zkompilovaného strojového kódu. Nástroj zatím není veřejně dostupný a otevřenou otázkou zůstává cena.