Google DeepMind formalnie zweryfikował kryptografię protokołu Signal

Naukowcy z Google DeepMind przy użyciu agentowej sztucznej inteligencji matematycznie udowodnili kluczowe gwarancje kryptograficzne protokołu Signal, który chroni komunikację w aplikacjach Signal, Google Messages i WhatsApp. Projekt zrealizowano w ciągu zaledwie czterech tygodni, korzystając z nowego systemu AlphaProof Code. To przełomowy krok zarówno dla bezpieczeństwa komunikacji, jak i dla możliwości AI w formalnej weryfikacji kodu.

Podobne artykuły

💡 Ciekawostki Google DeepMind oznacza białka AI znakiem wodnym, by utrudnić tworzenie biobroni Live Science · 21d temu 💡 Ciekawostki Microsoft zgłosił patent na AI do zmiany wypowiedzi i dopasowania ruchu ust Kopalnia Wiedzy · 3h temu 💡 Ciekawostki Brain-IT: AI rekonstruuje obrazy z aktywności mózgu z dużą dokładnością Live Science · 11h temu