L'annuncio e il ruolo dell'AI
Physical Superintelligence (PSI), istituto di ricerca citato dalla stampa, ha annunciato di aver dimostrato la congettura di Aaronson-Ambainis, un problema aperto dal 2008 che riguarda le condizioni in cui un quantum computer può ottenere un vantaggio di calcolo rispetto a un calcolatore tradizionale. Secondo quanto riportato, la dimostrazione è stata prodotta da un sistema di ricerca sviluppato internamente da PSI e basato su un modello di Anthropic non ancora pubblicato, con un tempo di lavoro dichiarato di tre giorni.
L'elemento nuovo non è soltanto il risultato matematico rivendicato, ma il metodo: un sistema costruito per la ricerca assistita da AI, attribuito a un tecnico di PSI, David Toutourian, che avrebbe impiegato un modello non identificato. La notizia, ripresa da IT之家 da un servizio di Business Insider, non indica quale modello sia stato usato né fornisce il testo della dimostrazione, elemento che rende impossibile una verifica indipendente del risultato.
Che cosa cambia e che cosa no
Il contenuto della congettura, come riportato, chiarisce un punto teorico rilevante: il vantaggio esponenziale del calcolo quantistico non sarebbe automatico, ma richiederebbe la presenza di struttura o regolarità specifiche nel problema affrontato. La dimostrazione, se confermata, avvalorerebbe l'ipotesi, già discussa da tempo tra i ricercatori, che i quantum computer non siano superiori ai computer classici in ogni scenario, pur mantenendo forti vantaggi su alcune classi di problemi.
Questo secondo aspetto è importante per non sopravvalutare la notizia: non si tratta della fine del calcolo quantistico, ma della delimitazione delle condizioni in cui esso può esprimere il proprio vantaggio. Gli stessi ricercatori che avevano studiato il problema avrebbero definito il risultato un traguardo significativo, secondo la ricostruzione fornita. Resta però una dichiarazione riportata, non un dato verificato in modo autonomo.
Il materiale sottolinea inoltre che i quantum computer esistono già ma la tecnologia è ancora in fase iniziale: un elemento di contesto utile a collocare la portata pratica della scoperta, che rimane per ora teorica.
Il contesto e i punti da verificare
L'annuncio si inserisce in una sequenza di casi in cui l'AI viene presentata come strumento di ricerca matematica: nel settembre dello stesso anno, secondo il materiale, OpenAI aveva annunciato la soluzione del problema dell'equazione di Navier-Stokes, rimasto aperto per novant'anni. Il confronto tra i due episodi mostra una tendenza comunicativa comune, ma anche una differenza sostanziale: nel caso PSI, il modello usato non è pubblico e non è nominato, il che limita la replicabilità del lavoro.
Tra le questioni aperte figurano l'identità del modello Anthropic impiegato, la disponibilità del sistema di ricerca sviluppato da PSI, la presenza di una pubblicazione con revisione paritaria e la conferma indipendente della prova. Fino a quando questi elementi non saranno disponibili, la notizia va trattata come un annuncio dell'istituto, riportato dalla stampa, e non come un risultato scientifico consolidato.
