Lean

Innovazione

AlphaProof Code verifica il protocollo Signal: l’AI porta le prove nel software reale

Google DeepMind afferma di aver usato AlphaProof Code per verificare formalmente proprietà chiave del codice di Signal, con tre milioni di righe di prove Lean.

Radar · 10 novembre 2026 · 15:22