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.
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.
Hardware Upgrade
Le News di Hardware Upgrade sulla tecnologia e sul mondo informatico - https://www.hwupgrade.it
