Machine Learning PapersLandmark papers
← All papers
RESEARCH PAPER / 2026-10-15

Discovering state-of-the-art quantum circuits with large language models

Andi Gu, Alek H. Kemeny, Susanne F. Yelin ...Full author list in the original paper.

Harvard University +2 · arXiv

Affiliations: Harvard University, Anthropic, QuEra Computing

Abstract

Significant efforts are currently being directed toward the implementation of large-scale quantum information processors, but realizing useful quantum advantage also requires the development of efficient quantum algorithms. While for many practical problems the dominant resource costs are associated with a small set of computational primitives, optimizing them in the quantum setting presents unique challenges, including a reversibility constraint absent from ordinary classical computation. Here we introduce an evolutionary framework in which large language models (LLMs) propose circuit designs and an independent evaluator verifies and scores them. We apply this framework to tasks spanning numerical computation, chemistry, optimization, quantum simulation, and number theory. In seven of the eight tasks, the discovered circuits significantly reduce both Toffoli and qubit counts relative to the state of the art. In the eighth, the search discovers a new reversible architecture for prime-field modular inversion. By handling reversibility differently, the architecture makes divsteps -- a classical algorithm previously impractical for reversible integer arithmetic -- viable and substantially improves the Toffoli-qubit trade-off for modular inversion. These results open the door for evaluator-guided LLM co-design of new algorithmic structures for quantum computation.

The following analysis is generated by AI and may contain errors. It is separate from the authors’ abstract and is not peer review.

Research summary

The paper presents a novel evolutionary framework using LLMs to discover state-of-the-art quantum circuits, achieving significant reductions in resource costs across multiple tasks and uncovering new reversible algorithms. This work bridges the gap between AI-driven code generation and rigorous quantum algorithm design, offering a powerful tool for future quantum computing research.

Methodology

The paper introduces a robust evolutionary framework where Large Language Models (LLMs) propose high-level Python circuit designs, which are then verified by an independent, programmatic evaluator. This approach effectively addresses the "reversibility constraint" of quantum computation by allowing the LLM to reason about algorithmic structure rather than just gate sequences. The methodology is sound, leveraging the fact that coherent circuits on computational basis states can be simulated efficiently (tracking bits and phases), enabling rapid feedback loops. The use of MAP-Elites to maintain diversity in the search space is a strong technical choice that prevents premature convergence to local optima.

Results & evaluation

The experimental results are highly impressive, demonstrating state-of-the-art improvements in Toffoli and qubit counts across eight diverse tasks, including Reed-Solomon decoding and modular inversion. The discovery of a new reversible architecture for prime-field modular inversion using divsteps is a significant algorithmic contribution, not just an optimization of existing circuits. The benchmarks are rigorous, comparing against established baselines and providing detailed resource accounting.

Reproducibility

The paper provides sufficient detail on the circuit model, cost metrics, and search strategy to allow for reproduction of the framework. However, the specific LLM prompts and the exact "OpenEvolve" implementation details are not fully open-sourced in the text, which may limit immediate reproducibility for those without access to the specific tooling or LLM versions (Claude Mythos 5).

Limitations

The framework is bounded by the task specification and the computational basis representation, excluding optimizations that rely on changing the encoding itself (e.g., coset representations). The reliance on a specific LLM (Claude Mythos 5) and the proprietary "OpenEvolve" framework may limit accessibility. Additionally, the TQ-cost metric is a simplification that may not capture all hardware-specific constraints like depth or routing.

Broader impact

This work has significant implications for the field of quantum computing, offering a scalable path to discovering efficient quantum algorithms. It demonstrates that LLMs can contribute to fundamental algorithmic design in domains with complex constraints, potentially accelerating the development of fault-tolerant quantum computers. The approach could be extended to other areas of AI for Science where programmatic evaluation is feasible. The paper presents a novel evolutionary framework using LLMs to discover state-of-the-art quantum circuits, achieving significant reductions in resource costs across multiple tasks and uncovering new reversible algorithms. This work bridges the gap between AI-driven code generation and rigorous quantum algorithm design, offering a powerful tool for future quantum computing research.

Author of this paper? Send a correction.