AI
Google DeepMind used AI to mathematically prove key parts of Signal's encryption
In a four-week project, an AI system verified core guarantees of the protocol behind Signal, WhatsApp and Google Messages. It found no new flaws, and it caught old ones when pointed at outdated versions.