AI formally proves encryption is secure

Google DeepMind used AI to formally verify that the Signal encryption protocol works as intended.

Also today

Today's top five AI stories, one line each, at 7am Eastern. Free. One-click unsubscribe.