La IA y los problemas difíciles del mundo · Física cuántica y computación cuántica · arXiv · 2026-10-19
Aprovechamiento de la estructura verificable de los circuitos cuánticos para encontrar compilaciones más eficientes con IA agéntica
Título original: Leveraging verifiable structure in quantum circuits to find more efficient compilations with agentic AI
El artículo propone usar agentes de IA para compilar circuitos cuánticos de forma más eficiente cuando las subrutinas que actúan como cuello de botella tienen una estructura verificable de forma clásica, lo que permite certificar la síntesis aproximada mediante pruebas de fuzzing. Analiza tres aplicaciones: el cálculo de 1/√x para la simulación del operador de Coulomb en el modelado de reactores de fusión, la decodificación de códigos Reed-Solomon en la interferometría cuántica decodificada y las tablas de búsqueda cuánticas con rotaciones de Givens en la simulación química. Se presentan implementaciones de referencia como base de una competición de Kaggle planificada sobre optimización de la compilación impulsada por IA.