Google DeepMind har låtit sin nya AI, AlphaProof Code, syna krypteringen bakom meddelandeappen Signal. Med verktyget AlphaProof Code har forskarna lyckats bevisa att flera viktiga säkerhetsfunktioner faktiskt gör vad de ska. Det är ganska skönt att höra då samma krypteringsteknik används i bland annat WhatsApp och Google Messages.
På bara fyra veckor producerade AI-systemet omkring 6,5 miljoner rader beviskod utan att hitta några nya säkerhetshål. Det betyder däremot inte att hela Signal är hundra procent säkert, eftersom granskningen bara omfattade utvalda delar. Google ser betydligt större möjligheter framöver och hoppas kunna använda tekniken för att granska allt från banktjänster till annan viktig mjukvara.