IA e os Problemas Difíceis do Mundo · Física quântica e computação quântica · arXiv · 2026-10-19
Aproveitando a estrutura verificável em circuitos quânticos para encontrar compilações mais eficientes com IA agêntica
Título original: Leveraging verifiable structure in quantum circuits to find more efficient compilations with agentic AI
O artigo propõe o uso de agentes de IA para compilar circuitos quânticos de forma mais eficiente quando as sub-rotinas que constituem gargalos têm estrutura classicamente verificável, o que permite certificar a síntese aproximada por meio de fuzz testing. Discute três aplicações: o cálculo de 1/√x para a simulação do operador de Coulomb na modelagem de reatores de fusão, a decodificação de códigos Reed-Solomon na interferometria quântica decodificada e tabelas de consulta quânticas com rotações de Givens na simulação química. Implementações de referência são apresentadas como base para uma competição planejada no Kaggle sobre otimização de compilação orientada por IA.