Riassunto:
Secondo Business Insider, il Physical Superintelligence Laboratory (PSI) ha affermato di aver utilizzato un modello antropico non divulgato per trovare una prova della "congettura di Aronson-Ambanis" nel campo dell'informatica quantistica entro tre giorni. Questa congettura è rimasta irrisolta da quando è stata proposta nel 2008 e riguarda le circostanze in cui i computer quantistici possono essere significativamente più veloci dei computer tradizionali.
PSI ha divulgato il documento e il codice di prova e ha affermato che la prova ha superato il test dello strumento ausiliario di prova matematica Lean. Gli accademici di Stanford che hanno studiato in precedenza questo problema hanno letto le prove e fornito opinioni, ma i risultati attendono ancora un’ulteriore revisione indipendente da parte della comunità accademica.
Il sistema utilizzato in questo studio è stato sviluppato da David Turturean, membro dello staff tecnico del PSI, e funzionava sull'infrastruttura del laboratorio, utilizzando un modello che Anthropic non ha ancora reso pubblico. PSI non ha rivelato il nome del modello specifico. Business Insider ha affermato che Anthropic non ha risposto a una richiesta di commento.
PSI ha dichiarato che il sistema di ricerca ha fornito una prova completa il terzo giorno di attività, successivamente ha migliorato i risultati due volte e la versione finale ha superato anche il test Lean.
Secondo la descrizione del progetto divulgata da PSI, le dichiarazioni matematiche, le prime bozze di documenti e le prove formali sono tutte generate da modelli di intelligenza artificiale. Turturian ha esaminato il documento e si assume la responsabilità della sua correttezza.
La congettura di Aaronson-Ambanis è stata proposta dagli scienziati informatici Scott Aaronson e Andris Ambainis, concentrandosi sui limiti dei vantaggi dell'informatica quantistica.
PSI ha introdotto che se questa dimostrazione è vera, per uno specifico problema di calcolo alternativo, sulla maggior parte degli input casuali, il numero di volte in cui un computer quantistico legge l'input non può ottenere un vantaggio esponenziale rispetto a un computer tradizionale. Ciò significa che ci sono alcune dipendenze significative dall’accelerazione quantistica o strutture speciali nell’input. Ciò di cui si discute qui è il numero di volte in cui l'algoritmo legge l'input, che non può essere direttamente equiparato al tempo di funzionamento totale del dispositivo reale.
Questa conclusione non significa che l'informatica quantistica perda valore. Ad esempio, PSI ha affermato che l'algoritmo quantistico proposto da Peter Shor nel 1994 sfrutta una struttura specifica del problema ed è molto più veloce dei metodi di calcolo tradizionali conosciuti nella scomposizione di grandi numeri interi.
Il PSI ha affermato che i ricercatori dell'Università di Stanford Guy Blanc, Jordan Docter, Carmen Strassle e Li-Yang Tan avevano precedentemente risolto problemi correlati in un caso speciale. I quattro stanno leggendo la prova completa del PSI e si stanno preparando a scrivere una spiegazione più concisa per i professionisti. Lo hanno descritto come un "risultato significativo" nel loro feedback al PSI.
State of Proof, una piattaforma indipendente di monitoraggio della ricerca, ha affermato che i record dell'ispezione Lean divulgati da PSI hanno fornito materiale per la revisione, ma la piattaforma non ha riprodotto in modo indipendente l'ispezione, né ha confermato che la ricerca abbia completato la peer review della rivista.
Commenti