AlphaProof Nexus di Google DeepMind ha risolto nove problemi di Erdős e dimostrato 44 congetture di successione, una pietra miliare nella verifica formale basata sull'IA che potrebbe rendere più veloce ed economica la validazione delle prove crittografiche. I risultati, annunciati questa settimana, mostrano un sistema di IA che affronta problemi matematici notoriamente difficili, con implicazioni dirette per i campi che si basano su prove inattaccabili, tra cui la crittografia e il controllo degli smart contract.
Nove problemi di Erdős risolti
Il sistema ha affrontato una serie di problemi che prendono il nome dal matematico Paul Erdős, noti per la loro difficoltà. Di questi, AlphaProof Nexus ne ha risolti nove, un risultato che in precedenza richiedeva anni di lavoro umano. Ha anche dimostrato in modo indipendente 44 congetture aperte nelle successioni di interi, estraendole dal database OEIS. Ogni dimostrazione è stata generata senza guida umana oltre alla dichiarazione iniziale del problema.
Un impulso per la verifica formale
La verifica formale è il processo di dimostrazione matematica che un software o hardware si comporti esattamente come previsto. Viene utilizzata in crittografia per verificare che gli algoritmi di crittografia non presentino difetti nascosti, ma è lenta e costosa. L'annuncio di DeepMind afferma che la verifica formale basata sull'IA 'potrebbe rivoluzionare campi come la crittografia e il controllo del software, rendendo la validazione delle prove più efficiente ed economica.'
Per il mondo delle criptovalute, la promessa è chiara: se un'IA può dimostrare teoremi matematici complessi, potrebbe verificare automaticamente smart contract, prove a conoscenza zero o algoritmi di consenso, riducendo il rischio di bug che sono costati miliardi in attacchi informatici. La stessa tecnologia potrebbe controllare i protocolli blockchain per individuare incongruenze logiche. Nulla di tutto ciò è ancora stato implementato, ma la capacità sottostante ha appena compiuto un grande passo avanti.
DeepMind non ha detto quando rilascerà AlphaProof Nexus come strumento per uso esterno. Il prossimo traguardo concreto sarà probabilmente la revisione tra pari, e poi l'integrazione nelle pipeline di verifica esistenti. La domanda ora è quanto velocemente avverrà questa transizione.
