Signal
Google DeepMind bewijst met AI dat de code van Signal klopt
AlphaProof Code van Google DeepMind controleerde in vier weken de versleutelingscode van Signal en leverde ruim zes miljoen regels wiskundig bewijs op.
AlphaProof Code van Google DeepMind controleerde in vier weken de versleutelingscode van Signal en leverde ruim zes miljoen regels wiskundig bewijs op.