Claude Mythos 5 a trouvé des circuits quantiques meilleurs que le meilleur publié — en commençant par un qui réduit le nombre de portes d'un facteur 17×

A​nthropic's STEM Fellows Program published a result this week in which C​laude M​ythos 5 was handed plain-language specifications for eight quantum circuits and, working in a closed loop against an automated evaluator, returned designs that beat the best published ones on seven of them — and on the eighth produced something the literature did not have: a reversible divsteps implementation with no stored branch history, one member of which uses 12% more qubits but 17× fewer gates than the smallest previous design. The paper, Discovering state-of-the-art quantum circuits with large language models, is on arXiv (2610.22367, submitted 15 October 2026, 46 pages), and its lead author is Andi Gu, a fellow in the program, mentored by quantum physicist Alek Kemeny and working with Susanne Yelin and Mikhail Lukin of Harvard. Every number below is A​nthropic's own or comes from the paper's own tables; none of it has been independently reproduced yet.

Ce qui a réellement été exécuté, et ce qui ne l’a pas été

The setup is worth describing precisely, because the interesting claim is not "a model wrote some code." A​nthropic gave C​laude M​ythos 5 a specification for a computational primitive, and the model proposed a circuit as Python. A separate evaluator — a program, not a model — checked the circuit for correctness and scored it on qubit count multiplied by gate count, a proxy for runtime. The score went back to the model, which revised. There was no human in the loop between rounds. A​nthropic's description is that C​laude worked "largely on its own."

Two things about that loop are doing the heavy lifting. The first is that the evaluator is independent of the proposer, so a plausible-looking wrong answer scores zero rather than winning an argument. The second is that the objective is a number, which means the model can tell whether a revision helped. This is the same shape as a test suite driving a coding agent, and it is the reason A​nthropic picked quantum circuits to study: the domain has a hard, cheap, automatic correctness check.

Les huit primitives couvrent la chimie, l’optimisation, la simulation quantique, la théorie des nombres et le calcul numérique. Deux contraintes rendent ce domaine inhabituel. Les circuits quantiques n’ont pas de branchement if-then, car la superposition signifie qu’une opération est nécessaire pour chaque branche ; et ils ne peuvent pas éliminer d’information, car chaque étape doit être réversible. Les valeurs de travail résiduelles doivent être décalculées en exécutant le calcul à l’envers, ce qui coûte des portes. Cela impose un compromis entre espace et temps qui n’a pas d’équivalent classique, et c’est exactement le genre de compromis qu’un processus de recherche peut viser.

Les quatre résultats qui méritent d’être lus en détail

• Divsteps / prime-field modular inversion. This is the headline. C​laude produced the first reversible divsteps implementation that stores no branch history — a construction the paper describes as making divsteps, a classical algorithm previously impractical for reversible integer arithmetic, newly workable. The usable outcome is a Pareto shift rather than a single win: a member of the resulting design family spends 12% more qubits and 17× fewer gates than the smallest previous design, so a compiler with a qubit budget to spare can now buy gates with it.

• DQI / Reed–Solomon decoding. C​laude's decoder cuts the gate count by a factor of 12 against G​oogle's previous construction, partly by swapping the extended Euclidean algorithm for Berlekamp–Massey decoding. The storage detail is the interesting one: worst-case handling of exceptions across 35 rounds would take 665 qubits, and after a simulator ran 403 million sample decodings C​laude instead reserved room for a single value — 19 qubits — accepting that roughly one run in 10,000 needs more and fails, a rate inside the allowed error budget.

• Elliptic-curve point addition. A single 53-hour run with minimal human input — an initial brief plus occasional prompts — produced a new approach. C​laude proved the algebraic identities, tested the formulas in large-scale numerical simulations, and formalised the claim in Lean, which is the kind of self-checking that makes the result harder to dismiss as a plausible-looking artifact.

• The FeMoco trajectory, which needs a caveat. A​nthropic's page sets C​laude's result against the 2017 estimate for simulating the iron–molybdenum cofactor: about 50 trillion Toffoli gates, falling to roughly 340 million, a reduction of some 150,000-fold, which the page describes as a few hours on a future machine with about three million physical qubits. Read that as a field-wide trajectory, not a single result. The page itself attributes the eight-year reduction to many research groups, and the honest reading is that C​laude's design is a step inside a curve that was already falling steeply.

For scale on why the DQI number matters: G​oogle Quantum AI's own estimates imply one OPI problem would take about three months on today's Frontier supercomputer against roughly an hour on a future quantum computer running DQI — and most of that hour goes to Reed–Solomon decoding. Cutting decoder gate count by 12× is a cut to the dominant term.

Ce que « dépasse le meilleur publié » ne signifie pas

Quatre limites honnêtes, énoncées avant que quiconque ne cite le 17× hors contexte.

The first is that this is a preprint with no independent reproduction. A​nthropic ran the evaluator; the comparison baselines come from the paper's own tables, with prior designs sourced to Schrottenloher (2026), Luo et al. (2026) and Khattar et al. (2025). The claimed advantage is a claim until someone reruns the harness.

The second is that circuit design is one component of a quantum computer, and the components are usually designed separately. A​nthropic notes the possibility that error correction, compilation and hardware constraints could be optimised jointly by the same method — which is a research direction, not a result.

The third is a failure mode A​nthropic reports against itself: in early experiments the model was conservative, repeatedly second-guessing well-supported gains and double- or triple-checking designs that were probably fine. That caution produced a real benefit once — it prompted the Lean proofs on the divsteps result — but it also biased the search toward established approaches. The mitigation was structural: require several qualitatively different approaches developed in parallel, and occasionally prompt the model to widen its search. Anyone building evaluator-driven loops on any frontier model will recognise that failure mode, and the parallel-approaches fix is the transferable part.

Le quatrième est que sept des huit tâches ont produit un meilleur score sur une formulation existante et qu’une a produit une nouvelle formulation. Ce sont des types de résultats différents, et le cadrage de l’article lui-même considère la huitième comme celle qui présente de l’intérêt, car une recherche qui ne fait que régler des paramètres à l’intérieur d’une structure connue a un plafond.

La partie qui se généralise au-delà de l'informatique quantique

Strip the physics out and what A​nthropic built is a proposer and an independent checker, wired together, with a scalar objective that both sides can see. That pattern is now the standard shape of serious agentic work: one model generates, another verifies, and the loop stops when a test passes rather than when the output reads well. The lesson the quantum paper adds is about honesty of the critic — the evaluator here is not a second model offering an opinion. It is a simulator that either accepts the circuit or does not.

Where a program cannot be the judge, the second-best structure is a different model as judge, and that is a routing problem rather than a research one. OrcaRouter's routing DSL composes several models into a single call, so a cheap model can run the high-volume proposer branch while a stronger one is invoked only on the verification step, and model fusion runs a panel of models against the same prompt when a single opinion is not worth trusting. The point is not that a router designed the circuits — it did not, and A​nthropic's loop does not need one. The point is that the loop A​nthropic describes is buildable on a single endpoint across 200-plus models with no second contract, and the cost of the loop is dominated by how many proposer rounds you can afford.

Où vous pouvez réellement exécuter quelque chose comme ça

C​laude M​ythos 5 itself cannot be called. It is restricted to vetted partners and verification-program members, it does not appear on any public API, and it is not routed here — a gated model cannot be routed to the public. What is reachable is its public sibling. A​nthropic ships every frontier step as two SKUs of the same weights: the M​ythos SKU with cyber and biology safeguards tuned for vetted defenders, and the Fable SKU with the full safeguard stack left on. Claude Fable 5 is the ungated member of C​laude M​ythos 5's generation, and it sits in the OrcaRouter catalogue at A​nthropic's list price of $10 per million input tokens and $50 per million output tokens, passed through at 0% markup, with the newer Claude Fable 5.1 — the public twin of C​laude M​ythos 5.1 — alongside it at the same rate and a 75% lower cache read. That is the practical route to the capability tier the paper is about, and it costs the vendor's own number rather than a marked-up one.

Il faut le dire clairement : les gains de l'article provenaient d'une boucle, et non d'un simple prompt. Quiconque tente de reproduire cela devrait budgéter des centaines de cycles proposition-évaluation-révision par primitive et choisir un modèle dont le coût par cycle lui convient. C'est l'argument en faveur de placer la boucle derrière un routeur avec basculement automatique, plutôt que de parier une recherche de douze heures sur le fait qu'un fournisseur passe un bon après-midi.

Que regarder ensuite

Three checkable things. An independent rerun of the evaluator on the divsteps and DQI circuits, which is the only way the 17× and 12× become more than A​nthropic's numbers. Whether the harness itself is released, because the feedback loop is the reusable contribution and the circuits are the demonstration. And whether the same proposer-and-evaluator pattern shows up on a problem where correctness is not machine-checkable, since that is where the model-as-judge question stops being academic.

En attendant, le résumé honnête est qu’un modèle frontière à accès restreint, dirigé vers un domaine doté d’une fonction objectif peu coûteuse et laissé sans intervention pendant 53 heures, a déplacé une frontière de ressources que des chercheurs humains s’efforçaient de repousser depuis huit ans. Cela mérite d’être pris au sérieux au vu de la solidité de la méthode, même si les multiplicateurs spécifiques restent étiquetés comme propres au fournisseur.

Rien de tout cela n'est hypothétique : les défaillances documentées de l'IA et les incidents d'agents qui sous-tendent des versions comme celle-ci sont recueillis dans l'OrcaRouter AI Incident Archive, où chaque entrée est accompagnée de ses propres sources, de son niveau de gravité, de son degré de confiance et de son indicateur de contestation.