DeepMind reportedly proves security properties of Signal's code

Google DeepMind has reportedly formally verified key security properties of Signal's production machine code. Formal verification means proving mathematically that software behaves as claimed, rather than testing it and hoping. It is rare for a widely used messaging app, and it suggests AI tools are moving into rigorous proof work as well as code writing. The claim comes from a repost, and the material does not say which properties were proven or how.