Anthropic a encore un grand coup à jouer !
Un moment historique se répète : le modèle interne de Claude a résolu une conjecture ouverte vieille de 18 ans en informatique quantique.
En seulement 3 jours, un modèle Claude non public a résolu la conjecture d'Aaronson-Ambainis, qui restait non résolue depuis 2008 !
Les internautes spéculent : ce modèle interne semble être la version non publique du modèle, Claude Model 4.
Le théorème et ses corollaires ont été complétés en formalisation Lean, et la question de savoir exactement quel avantage l'informatique quantique possède sur l'informatique traditionnelle a enfin une réponse.
Claude perce le mythe de la suprématie quantique
En 1994, Peter Shor a proposé l'algorithme de Shor, qui a fait un énorme tapage dans le monde entier.
Il peut factoriser de grands entiers en temps polynomial, alors que les ordinateurs ordinaires auraient besoin d'un temps exponentiel pour cette tâche.
La pierre angulaire du système de chiffrement moderne a ainsi été ébranlée.
L'algorithme de Shor a sonné le clairon, et par la suite le terme « Suprématie Quantique » a balayé le monde technologique mondial et les marchés financiers.
Un plan à faire bouillir le sang semblait être juste devant nos yeux : superposition quantique, intrication quantique, accélération exponentielle.
C'était comme si, tant que ces fragiles qubits étaient bien contrôlés, l'humanité pouvait lancer une frappe dimensionnelle tous azimuts et entrer instantanément dans une nouvelle ère de puissance de calcul presque illimitée.
Une illusion cognitive aveugle a commencé à se répandre :
Tant qu'il existe un état de superposition quantique, il semble que pour la plupart des problèmes difficiles, les ordinateurs quantiques puissent aussi parcourir instantanément toutes les possibilités et réaliser un coup critique exponentiel.
Heureusement, les physiciens et les informaticiens ont rapidement réalisé : la raison pour laquelle l'algorithme de Shor peut produire un « écrasement exponentiel » est qu'il existe derrière la factorisation des entiers une forte structure périodique. Et les ordinateurs quantiques sont doués pour capturer ce genre de motif répétitif.
Mais si les données d'entrée sont complètement aléatoires, sans aucun motif ni structure particulière, les ordinateurs quantiques peuvent-ils encore atteindre une supériorité exponentielle ?
En 2008, deux éminents chercheurs du domaine de l'informatique quantique—Scott Aaronson et Andris Ambainis—ont abstrait ce problème de physique et d'algorithme en un problème de mathématiques pures.
Ils ont comparé le processus par lequel un ordinateur lit les données d'entrée à une « observation ».
Chaque fois qu'un ordinateur classique lit un bit, il voit un « 0 » ou un « 1 » exact ; un ordinateur quantique, en utilisant des états de superposition, peut répartir une seule observation sur un nombre massif d'états.
Les deux chercheurs ont découvert que la probabilité qu'un ordinateur quantique produise « oui » après T observations peut essentiellement être caractérisée de manière rigoureuse comme un « polynôme borné de bas degré ».
S'il peut être prouvé qu'un tel polynôme doit subir un changement suffisamment important lorsqu'une variable est inversée, c'est-à-dire qu'il existe une variable ayant une influence significative, alors il peut être prouvé que : un ordinateur classique n'a besoin que d'un coût supplémentaire de niveau polynomial pour simuler parfaitement le comportement d'un ordinateur quantique.
C'est la célèbre conjecture d'Aaronson-Ambainis.
Aujourd'hui, cette conjecture a été prouvée par l'IA, et à l'avenir elle devra peut-être être appelée le « théorème d'Aaronson-Ambainis » :
Selon leurs mots :
L'informatique quantique compte encore de nombreux mystères non résolus, mais désormais, il y en a un de moins.
Il convient de noter que la suprématie quantique n'a pas disparu, mais ce théorème a tué la « superstition aveugle » de l'informatique quantique et a clarifié le « territoire légitime » P de l'avantage quantique.
Le moment Oppenheimer de l'informatique quantique
La Superintelligence Physique qui est passée à l'action cette fois n'est pas la première à agir—
Le mois dernier, ils ont résolu cinq problèmes non résolus de longue date en théorie de l'information quantique.
Auparavant, Guy Blanc, Jordan Docter, Carmen Strassle du MIT et Li-Yang Tan de l'Université de Stanford ont résolu un cas particulier d'un corollaire de simulation classique de cette conjecture.
Ils avaient lu la nouvelle preuve et la considéraient simplement comme un « grand résultat » :
Elle résolvait une conjecture vieille de plusieurs décennies et avait des implications importantes pour l'essence des problèmes qui peuvent bénéficier d'une accélération quantique.
Cette recherche implique plusieurs directions de recherche en analyse de fonctions booléennes et en combinatoire probabiliste.
Et cette preuve n'est en aucun cas du « perroquet »—il ne s'agit absolument pas de simplement chercher dans la littérature pour résoudre le problème, mais plutôt d'une « manière plutôt merveilleuse » qui a rassemblé tout le contenu.
Peut-être que des experts de multiples domaines travaillant ensemble pourraient finalement prouver cette conjecture, mais la vitesse de l'IA dépasse les capacités humaines !
Selon les rapports, après l'achèvement du système Harness construit autour du modèle interne d'Anthropic, la première preuve a été finalisée trois jours plus tard.
Elle a ensuite été immédiatement envoyée dans l'assistant de preuve Lean pour vérification.
Mais ce n'était pas la fin.
Lorsqu'on a demandé aux instances du modèle d'utiliser ces résultats intermédiaires pour s'attaquer à des problèmes non résolus, elles ont à leur tour affiné ces résultats intermédiaires, faisant descendre l'exposant de 22 à 11, puis à 7, le réduisant continuellement.
C'est aussi un microcosme du processus de découverte lui-même : la preuve n'est pas un éclair soudain d'inspiration, mais une approche progressive de la frontière optimale par un affinage répété des résultats intermédiaires.
La physique et les mathématiques restent vastes, l'univers reste immense, et il existe encore de nombreux mystères non résolus que l'humanité doit explorer.
Mais une chose est déjà certaine :
Dans l'équipe d'expédition qui explore la frontière du rationnel, l'humanité ne se tient plus seule, solitaire et ombragée par elle-même.
Références :
https://psi.inc/research/oqp-batch-2026/
https://psi.inc/research/aaronson-ambainis/
Cet article provient du compte public WeChat « Xin Zhi Yuan », auteur : ASI Revelation
