Microsoft says its systems are experiencing “elevated loads” as the company races to end an outage impacting its business and enterprise customers.

DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”