Une IA d’Anthropic aide à résoudre une question majeure en informatique quantique
Physical Superintelligence Inc. (PSI) a annoncé vendredi avoir utilisé un modèle d’Anthropic non encore dévoilé pour prouver la conjecture Aaronson-Ambainis, un problème de longue date en informatique quantique.
Cette conjecture, ouverte depuis 2008, concerne la vitesse relative des ordinateurs quantiques par rapport aux ordinateurs classiques. PSI a développé un système de recherche intégrant le modèle d’Anthropic, qui a permis de prouver la conjecture en seulement trois jours, « réglant l’une des questions les plus fondamentales de l’informatique quantique ».
« L’informatique quantique recèle encore de nombreux mystères, mais il y en a un de moins », a déclaré le laboratoire.
Cette annonce s’inscrit dans le sillage de récentes avancées de l’IA dans le domaine des mathématiques. En septembre, OpenAI avait affirmé avoir résolu un problème mathématique vieux de 90 ans, les équations de Navier-Stokes.
L’impact de l’IA sur les mathématiques suscite des interrogations quant à l’avenir de la discipline. Terence Tao, professeur de mathématiques à UCLA, a récemment estimé que « l’ère romantique » des mathématiques était terminée.
Des chercheurs ayant travaillé sur la conjecture Aaronson-Ambainis ont qualifié la preuve de « résultat majeur » qui résout une question qui perdure depuis des décennies. « Tout s’assemble d’une manière assez magique », ont déclaré Guy Blanc, Jordan Docter, Carmen Strassle et Li-Yang Tan de l’université de Stanford, selon l’annonce de PSI.
Il n’est pas précisé quel modèle non publié PSI a utilisé, et Anthropic n’a pas répondu à une demande de commentaire. La preuve démontre que certains avantages exponentiels de l’informatique quantique nécessitent des motifs ou des structures spécifiques, ce qui implique que les ordinateurs quantiques ont des limites, bien qu’ils représentent toujours une amélioration significative pour certaines tâches.
