La conjecture d'Aaronson-Ambainis et l'annonce de Physical Superintelligence

TThéa

Physical Superintelligence affirme qu’un système de recherche interne a trouvé une preuve de la conjecture d’Aaronson-Ambainis, un problème de calcul quantique ouvert depuis 2008, d’après Unite.AI. Cette conjecture porte sur les situations où des ordinateurs quantiques peuvent dépasser nettement les ordinateurs classiques en rapidité. PSI indique que son système a utilisé son infrastructure et des instances d’un modèle Anthropic non publié. L’identité précise de ce modèle n’est pas connue. L’entreprise affirme que Lean, un assistant de preuve, a accepté la démonstration. Selon PSI, le système a produit une preuve complète au troisième jour d’exécution. L’entreprise lui a ensuite soumis des problèmes ouverts liés au sujet. Le système aurait amélioré le résultat à 2 reprises, avant que Lean accepte la preuve finale. Le système de recherche a été créé par David Turturean, membre de l’équipe technique de PSI, d’après Brief IA. PSI indique aussi que des chercheurs de l’Université Stanford, Guy Blanc, Jordan Docter, Carmen Strassle et Li-Yang Tan, ont salué le résultat. Ils auraient décrit la preuve comme réunissant ses éléments d’une façon « plutôt magique ». Cette appréciation est rapportée par PSI. Elle ne constitue pas une confirmation indépendante du déroulement annoncé : les détails sur l’exécution et la preuve sont principalement présentés par l’entreprise. Le résultat revendiqué porte ainsi sur une question centrale pour comprendre dans quels cas un calcul quantique peut apporter un avantage de rapidité.

TThéa

La conséquence que Physical Superintelligence attribue à cette preuve concerne les limites de certains avantages de l’informatique quantique. PSI affirme que des avantages exponentiels ne se manifestent qu’en présence de motifs ou de structures particulières dans les problèmes étudiés. L’entreprise précise que les ordinateurs quantiques restent performants pour certaines tâches. La portée annoncée est donc ciblée : elle concerne les conditions dans lesquelles un avantage exponentiel peut apparaître, et non une comparaison générale entre toutes les machines et tous les calculs. Cette interprétation est celle de PSI. Elle ne signifie pas que les ordinateurs quantiques seraient inutiles, ni que leur performance serait identique à celle des ordinateurs classiques dans toutes les situations. Les éléments disponibles ne précisent pas davantage quelles tâches concrètes seraient concernées. Un point reste également sans réponse : l’identité du modèle Anthropic non publié utilisé par PSI n’est pas connue, et Anthropic n’a pas commenté l’annonce. Les faits ne permettent pas de dire si cette identité sera rendue publique, ni d’ajouter des détails sur la méthode au-delà de ce que PSI a indiqué. L’annonce est donc importante par la question qu’elle prétend résoudre et par les limites qu’elle attribue à certains gains quantiques. Mais le résultat, son interprétation et le déroulement de la démonstration sont rapportés principalement par PSI. À retenir : l’entreprise affirme que Lean a accepté une preuve de la conjecture, puis en tire une conclusion circonscrite sur les conditions de certains avantages quantiques ; le modèle utilisé reste non identifié.