Google's new AI tool just proved Signal encryption really works - here's how - ZDNET
Researchers at Google DeepMind used AI to formally verify portions of Signal‘s underlying code — meaning they’ve mathematically proven that at least parts of the encrypted messaging app’s code do what they say, without errors. That’s reassuring given how many vulnerabilities AI systems have discovered in software lately, and how many people’s communications are protected by Signal’s cryptography. WhatsApp and Google Messages use the same encryption.
AI companies like OpenAI have been on a math-breakthrough tear as of late, in some cases solving nearly century-old math problems with AI. By computing at such vast scale, AI models can rapidly accelerate much of the manual work mathematicians do.
Linha do tempo
-
Google's new AI tool just proved Signal encryption really works - here's how - ZDNET
ler a análise desta fonte ocultar
Researchers at Google DeepMind used AI to formally verify portions of Signal‘s underlying code — meaning they’ve mathematically proven that at least parts of the encrypted messaging app’s code do what they say, without errors. That’s reassuring given how many vulnerabilities AI systems have discovered in software lately, and how many people’s communications are protected by Signal’s cryptography. WhatsApp and Google Messages use the same encryption.
AI companies like OpenAI have been on a math-breakthrough tear as of late, in some cases solving nearly century-old math problems with AI. By computing at such vast scale, AI models can rapidly accelerate much of the manual work mathematicians do.