Résumé :
Selon Business Insider, le Laboratoire de Superintelligence Physique (PSI) a déclaré avoir utilisé un modèle anthropique non divulgué pour trouver une preuve de la « conjecture d'Aronson-Ambanis » dans le domaine de l'informatique quantique en trois jours. Cette conjecture n'a pas été résolue depuis qu'elle a été proposée en 2008 et concerne les circonstances dans lesquelles les ordinateurs quantiques peuvent être nettement plus rapides que les ordinateurs traditionnels.
PSI a divulgué le papier et le code de la preuve, et a déclaré que la preuve avait réussi le test de l'outil auxiliaire de preuve mathématique Lean. Les universitaires de Stanford qui ont déjà étudié cette question ont lu les preuves et donné leur avis, mais les résultats attendent encore un examen indépendant par la communauté universitaire.
Le système utilisé dans cette étude a été développé par David Turturean, membre du personnel technique du PSI, et fonctionnait sur la propre infrastructure du laboratoire, en utilisant un modèle qu'Anthropic n'a pas encore rendu public. PSI n'a pas divulgué le nom spécifique du modèle. Business Insider a déclaré qu'Anthropic n'avait pas répondu à une demande de commentaires.
PSI a déclaré que le système de recherche a donné une preuve complète le troisième jour de fonctionnement, et a ensuite amélioré les résultats à deux reprises, et que la version finale a également réussi le test Lean.
Selon la description du projet divulguée par le PSI, les déclarations mathématiques, les premières versions d'articles et les preuves formelles sont toutes générées par des modèles d'IA. Turturian a révisé le document et assume la responsabilité de son exactitude.
La conjecture d'Aaronson-Ambanis a été proposée par les informaticiens Scott Aaronson et Andris Ambainis, en se concentrant sur les limites des avantages de l'informatique quantique.
Le PSI a introduit que si cette preuve est vraie, pour un problème de calcul alternatif spécifique, sur la plupart des entrées aléatoires, le nombre de fois qu'un ordinateur quantique lit l'entrée ne peut pas obtenir un avantage exponentiel par rapport à un ordinateur traditionnel. Cela signifie qu’il existe des dépendances importantes en matière d’accélération quantique ou des structures spéciales dans l’entrée. Ce qui est discuté ici est le nombre de fois que l'algorithme lit l'entrée, qui ne peut pas être directement assimilé à la durée totale de fonctionnement de l'appareil réel.
Cette conclusion ne signifie pas que l’informatique quantique perd de la valeur. Par exemple, le PSI a déclaré que l'algorithme quantique proposé par Peter Shor en 1994 tire parti d'une structure spécifique du problème et est beaucoup plus rapide que les méthodes informatiques traditionnelles connues pour décomposer de grands entiers.
Le PSI a déclaré que les chercheurs de l'Université de Stanford, Guy Blanc, Jordan Docter, Carmen Strassle et Li-Yang Tan, avaient déjà résolu des problèmes connexes dans un cas particulier. Tous les quatre lisent l'épreuve complète du PSI et se préparent à rédiger une explication plus concise destinée aux professionnels. Dans leurs commentaires au PSI, ils ont qualifié cela de « résultat significatif ».
State of Proof, une plateforme indépendante de suivi de la recherche, a déclaré que les dossiers d'inspection Lean divulgués par le PSI ont fourni des éléments pour l'examen, mais la plateforme n'a pas reproduit l'inspection de manière indépendante, ni confirmé que la recherche a fait l'objet d'un examen par les pairs dans une revue.
Commentaires