{"id":"arxiv/2610.31352","url":"https://arxiv.org/abs/2610.31352","tags":["quant-ph"],"score":0,"title":"Automating quantum circuit optimization with AI agents","domain":"quant-ph","source":"arxiv","authors":["Marcos Crichigno","Steve Flammia"],"reviews":0,"subject":"quant-ph","summary":"Compiling quantum algorithms for real devices involves hard optimization problems that can decide whether an algorithm runs at scale. We present a general method for solving such problems with AI agents, with every result certified. It builds on autoresearch loops, in which agents iteratively improve programs against a fixed evaluator and which have recently improved quantum cryptanalysis circuits, and adds two elements: a frozen, exact verifier certifies every result, and this verifier, together with the challenge around it, is built by an agent that formulates the problem with a researcher…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-10-22","reactions":{}}