IBM et l’Université de Chicago franchissent un cap vers un calcul quantique vérifiable

Que signifie « avantage quantique vérifié » ?

L’avantage quantique désigne la situation dans laquelle un ordinateur quantique réalise, dans un délai pratique, un calcul hors de portée des ordinateurs classiques. Jusqu’ici, une difficulté majeure demeurait : comment démontrer que la machine quantique a bien produit le bon résultat lorsque la vérification classique est elle-même irréalisable ?

IBM et l’Université de Chicago affirment avoir combiné ces deux exigences dans un même circuit : le calcul est conçu pour être difficile à simuler classiquement, mais sa structure permet aussi de détecter statistiquement certaines erreurs . Il s’agit d’une revendication expérimentale qui devra encore être examinée par la communauté scientifique.

70 qubits logiques sur un processeur Heron

L’expérience phare a été réalisée sur un processeur IBM Quantum Heron. Les chercheurs indiquent avoir :

• encodé 70 qubits logiques grâce à une nouvelle méthode de correction d’erreurs, dans l’une des démonstrations de calcul quantique logique tolérant aux erreurs les plus importantes rapportées à ce jour ;
• exécuté 2 415 opérations logiques à deux qubits et 468 portes T, deux indicateurs de la complexité du circuit ;
• terminé le calcul en environ 15 minutes, alors que les méthodes classiques de simulation considérées nécessiteraient un temps jugé impraticable ;
• réduit le taux d’erreur logique à environ un dixième du taux d’erreur physique des qubits sous-jacents .

Le problème choisi était une tâche d’échantillonnage conçue pour être difficile à reproduire avec des moyens classiques, tout en restant compatible avec une vérification intégrée. IBM a publié les circuits et les résultats sur son Quantum Advantage Tracker, et invite les chercheurs indépendants à tenter de les reproduire, de les contester ou d’en réfuter l’interprétation .

Le rôle du « code espace-temps »

L’élément central de la méthode est un code espace-temps (spacetime code), présenté comme une alternative structurée à l’échantillonnage aléatoire de circuits, souvent utilisé dans les précédentes démonstrations d’avantage quantique .

Le circuit repose d’abord largement sur des portes de Clifford. Celles-ci sont relativement efficaces à simuler classiquement et se prêtent naturellement à la détection d’erreurs. Les chercheurs y ont ensuite intégré avec précision des portes T, des opérations non-Clifford nécessaires à l’universalité du calcul quantique. Leur positionnement devait préserver les propriétés de détection du circuit de Clifford .

Cette architecture permet de repérer des erreurs au cours du calcul, plutôt que de dépendre uniquement d’une vérification classique effectuée après coup . L’équipe a calculé une borne inférieure de fidélité de 0,284, avec un niveau de confiance statistique de 95 %. Selon les sources décrivant l’expérience, ce serait la première démonstration d’avantage quantique à fournir une borne mathématique explicite sur la fidélité du résultat .

Cette vérification a toutefois un coût élevé. Pour obtenir ces garanties, les chercheurs ont dû multiplier le nombre total d’exécutions expérimentales par 860. Environ 28 % seulement des essais ont franchi le filtre de détection d’erreurs . Ce surcoût constitue un obstacle important à la mise à l’échelle vers des applications industrielles.

Une annonce accompagnée de deux autres travaux

L’annonce du 30 juillet regroupait trois prépublications mises en ligne sur arXiv les 27 et 28 juillet. Chacune employait une méthode différente pour renforcer la confiance dans des calculs quantiques difficiles à vérifier par simulation classique .

• IBM et l’Université de Chicago ont présenté le résultat fondé sur des circuits logiques corrigés d’erreurs.
• IBM et Qedma Quantum Computing ont utilisé le logiciel d’atténuation d’erreurs QESEM pour étudier des dynamiques persistantes sur un maximum de 74 qubits, avec des comparaisons à des simulations classiques de RIKEN et de BlueQubit ainsi que des contrôles matériels sur Quantinuum .
• IBM et Algorithmiq ont étudié un matériau quantique hétérogène à l’aide d’un cadre destiné à établir la confiance dans un calcul lorsque la vérification classique n’est pas disponible .

Des observateurs extérieurs ont toutefois relevé que les travaux avec Qedma et Algorithmiq ne revendiquaient pas explicitement, dans leur formulation, un avantage quantique : ils indiquaient plutôt que la simulation classique était difficile dans les régimes étudiés . Par ailleurs, les trois articles sont encore des préprints et n’ont pas été évalués par les pairs .

Des réserves qui restent importantes

La prudence demeure de mise. Le chercheur et critique de longue date de l’informatique quantique, Gil Kalai, estime notamment que le bruit pourrait encore fragiliser l’interprétation des résultats .

Le facteur 860 associé à la détection d’erreurs souligne aussi l’écart entre une démonstration de laboratoire et une technologie exploitable à grande échelle. Le problème a été spécifiquement construit pour être à la fois difficile à simuler et vérifiable ; rien ne garantit encore que la même approche fonctionnera pour des problèmes commerciaux réels .

La mise à disposition des données et des méthodes par IBM, ainsi que l’appel à la contestation indépendante, doit donc être comprise comme une étape de validation scientifique — et non comme la fin du débat .

IBM mise sur des retombées commerciales rapides

Le même jour, le PDG d’IBM, Arvind Krishna, a évoqué les conséquences économiques de ces travaux dans l’émission américaine Mad Money, diffusée sur CNBC. Il a déclaré que l’informatique quantique pourrait avoir un « impact mesurable » sur le chiffre d’affaires et le bénéfice d’IBM en 2028 ou 2029 .

Krishna a également affirmé qu’IBM était « assez convaincu » que l’informatique quantique pourrait créer 1 000 milliards de dollars de valeur d’ici la fin des années 2030 . Il s’agit d’une projection stratégique de l’entreprise, et non d’un chiffre d’affaires déjà réalisé.

IBM prévoit d’investir plus de 10 milliards de dollars sur cinq ans dans le secteur quantique. Cette enveloppe doit couvrir la recherche et le développement, la fabrication des composants, la correction d’erreurs, les logiciels et les partenariats de l’écosystème . Le groupe affirme par ailleurs rester en bonne voie pour livrer un ordinateur quantique tolérant aux erreurs et de grande taille d’ici 2029 .

Une future fonderie dédiée aux puces quantiques bénéficie également d’un engagement de 1 milliard de dollars du département américain du Commerce .

Un pas vers des calculs quantiques dignes de confiance ?

Si les résultats résistent à l’examen par les pairs et aux tentatives de réplication, ils pourraient constituer l’un des éléments les plus convaincants à ce jour en faveur d’un dépassement d’un seuil d’utilité par le matériel quantique. Le point important n’est pas seulement la rapidité annoncée : c’est la combinaison entre une tâche difficile à simuler classiquement et une méthode statistique pour estimer la fidélité de son exécution.

Les limites restent néanmoins considérables : le surcoût expérimental est massif, le problème a été choisi pour être vérifiable et les articles ne sont pas encore validés par les pairs. Pour l’instant, IBM et l’Université de Chicago ont surtout montré une direction prometteuse : faire passer l’informatique quantique de la démonstration de principe à un calcul plus contrôlable et plus digne de confiance.