Claude conçoit des circuits quantiques plus sobres sur sept tâches sur huit
Anthropic et des chercheurs de Harvard ont présenté un cadre dans lequel Claude propose des circuits quantiques qu’un évaluateur indépendant vérifie et note. Sur sept des huit tâches testées, les circuits découverts réduisent significativement à la fois le nombre de portes de Toffoli et le nombre de qubits par rapport aux meilleures méthodes publiées.
Pourquoi c'est important
Le dispositif associe génération par modèle et vérification programmatique, ce qui rend les propositions mesurables sur des critères objectifs plutôt que sur une simple appréciation textuelle.
Resume
Les tâches couvrent le calcul numérique, la chimie, l’optimisation, la simulation quantique et la théorie des nombres. Dans la huitième, le système a trouvé une nouvelle architecture réversible pour l’inversion modulaire sur corps premier, améliorant le compromis entre portes de Toffoli et qubits.
Le point a retenir
Le résultat porte sur la conception d’algorithmes quantiques vérifiables, pas sur l’exécution de ces circuits sur un ordinateur quantique à grande échelle.
Sources vérifiées
Texte source original
Anthropic et des chercheurs de Harvard ont publié une méthode de recherche de circuits quantiques pilotée par un grand modèle de langage. Claude propose des implémentations, puis un évaluateur externe vérifie leur correction et les note selon les ressources utilisées avant de renvoyer ce signal au modèle. L’étude couvre huit primitives de calcul relevant notamment de la chimie, de l’optimisation, de la simulation quantique et de la théorie des nombres. Dans sept cas, les circuits trouvés réduisent significativement le nombre de portes de Toffoli et le nombre de qubits face aux meilleures conceptions publiées. La huitième tâche aboutit à une nouvelle architecture réversible pour l’inversion modulaire. Les résultats concernent des conceptions de circuits et des évaluations logicielles, non leur exécution à l’échelle sur du matériel quantique. Leur portée professionnelle se situe d’abord dans le schéma de travail : un modèle génère des solutions, tandis qu’un programme indépendant impose la correction et un objectif quantitatif.