L'IA face aux grands problèmes du monde · Physique quantique et informatique quantique · arXiv · 2026-10-19
Exploiter la structure vérifiable des circuits quantiques pour trouver des compilations plus efficaces grâce à une IA agentique
Titre original: Leveraging verifiable structure in quantum circuits to find more efficient compilations with agentic AI
L'article propose d'utiliser des agents d'IA pour compiler plus efficacement des circuits quantiques lorsque les sous-routines goulots d'étranglement possèdent une structure vérifiable classiquement, ce qui permet de certifier la synthèse approchée par des tests de fuzzing. Il examine trois applications : le calcul de 1/√x pour la simulation de l'opérateur de Coulomb dans la modélisation de réacteurs de fusion, le décodage des codes de Reed-Solomon dans l'interférométrie quantique décodée, et les tables de consultation quantiques avec rotations de Givens dans la simulation chimique. Des implémentations de référence sont présentées comme base d'un concours Kaggle prévu sur l'optimisation de la compilation pilotée par l'IA.