Nástroje
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.
13. listopadu 2026 · 3 min čtení