Da anni il dibattito sul quantum advantage ruota attorno a un paradosso: se un computer quantistico risolve un problema che nessun computer classico può affrontare, come facciamo a sapere che il risultato è corretto? Finché la verifica passa da una simulazione classica, il vantaggio è per definizione limitato ai problemi che il classico sa ancora gestire. Oltre quella soglia, la fiducia nel risultato diventa la vera posta in gioco.
È esattamente il nodo che IBM e Algorithmiq — la scale-up finlandese guidata dalla CEO Sabrina Maniscalco, con il CSO Guillermo García-Pérez e il CTO Matteo Rossi — affrontano nel lavoro annunciato il 30 luglio e pubblicato su arXiv.
Che cosa è stato dimostrato
Il team ha simulato su un processore IBM Quantum Heron un sistema di materia quantistica eterogenea: un materiale programmabile con accoppiamenti microscopici regolabili, caratterizzato da strutture irregolari e variazioni locali che influenzano il flusso dell'informazione. Il problema è stato deliberatamente collocato in un regime accessibile all'hardware quantistico odierno ma proibitivo per le migliori tecniche di simulazione classica: metodi classici allo stato dell'arte, applicati allo stesso sistema, producono predizioni tra loro in conflitto.
La simulazione quantistica, comparsa sul Quantum Advantage Tracker nel luglio 2026, è rimasta competitiva e imbattuta dai metodi classici, nessuno dei quali è in grado di riprodurne in modo affidabile i risultati sull'intero regime del problema.
Fidarsi senza verifica classica: il framework
Il contributo forse più rilevante non è il singolo risultato, ma il metodo con cui è stato validato. Invece di appoggiarsi a una simulazione classica di riferimento, il team ha costruito l'evidenza di affidabilità direttamente sul comportamento della macchina, lungo tre direttrici.
Le tre direttrici del framework
Manipolazione controllata del rumore
Iniezione deliberata di rumore nei circuiti, variazione delle calibrazioni dei gate ed esecuzione su più processori IBM, per verificare che la soluzione resti stabile al variare delle condizioni.
Modellizzazione del rumore
Costruzione di modelli rappresentativi del rumore del dispositivo, a dimostrazione della coerenza e consistenza dei risultati.
Mitigazione degli errori senza bias
Tecniche di error mitigation con incertezza quantificata, che si autovalidano senza bisogno del confronto classico.
L'insieme di queste evidenze mostra che i processori quantistici producono soluzioni consistenti e riproducibili: una forma di certificazione «interna» che apre la strada a un calcolo quantistico affidabile oltre la frontiera della verifica classica.
Scienza aperta e contendibilità
Un vantaggio quantistico credibile deve poter essere sfidato. Per questo Algorithmiq ha rilasciato in open source monoprop, il proprio metodo classico per la simulazione dello stato fondamentale molecolare, mettendolo a disposizione della comunità come banco di prova per mettere sotto stress questa e le future rivendicazioni di vantaggio quantistico. È l'idea di un vantaggio «apertamente conteso»: non un annuncio da difendere, ma un'istanza verificata che chiunque può provare a confutare.
«Per una tecnologia esponenziale come il calcolo quantistico, un'istanza di vantaggio verificata e apertamente contesa è il punto di flessione.»
«I computer quantistici hanno raggiunto il punto in cui possono mostrare evidenza dei criteri fondamentali per il vantaggio.»
Matteo Rossi, CTO di Algorithmiq, ricorda infine che questo lavoro realizza, attraverso la simulazione quantistica digitale, un'idea proposta per la prima volta da Richard Feynman nel 1982: usare sistemi quantistici per simulare la natura, che quantistica lo è per davvero.
Perché conta
Il calcolo quantistico esce dalla fase in cui il vantaggio si dimostrava su problemi artificiali e verificabili, ed entra in quella in cui la domanda diventa: come costruiamo fiducia in risultati che nessun supercomputer potrà mai ricontrollare? Il framework di IBM e Algorithmiq è una prima risposta concreta, destinata a diventare un riferimento per le rivendicazioni di vantaggio quantistico che verranno.