// HARDWARE UPGRADE — INTELLIGENZA ARTIFICIALE
Un'IA risolve in 3 giorni un enigma che i matematici non riuscivano a chiudere da 18 anni
Un sistema di ricerca basato sull'intelligenza artificiale ha permesso a PSI di dimostrare la congettura di Aaronson-Ambainis, un problema matematico aperto dal 2008 che riguarda i limiti dei vantaggi dei computer quantistici. La dimostrazione � stata verificata formalmente con Lean, un software capace di controllare ogni passaggio matematico.