Google DeepMind predstavio je AlphaProof Code, sustav AI agenata koji je matematički provjerio odabrana sigurnosna svojstva konkretne implementacije Signalova protokola. Agenti su proizveli približno 6,5 milijuna redaka dokaza u jeziku Lean, oslonjenih na približno 26.000 redaka pouzdanih specifikacija i formalne semantike procesora AArch64.