Google DeepMind just mathematically verified key parts of Signal

Google's DeepMind has successfully used artificial intelligence to mathematically verify key aspects of the Signal messaging app's encryption protocol. This four-week project suggests that AI could significantly enhance the practicality of formal verification in the future.