AI dan Masalah-Masalah Sulit Dunia · Fisika kuantum & komputasi kuantum · arXiv · 2026-10-19
Memanfaatkan struktur yang dapat diverifikasi dalam sirkuit kuantum untuk menemukan kompilasi yang lebih efisien dengan AI agentik
Judul asli: Leveraging verifiable structure in quantum circuits to find more efficient compilations with agentic AI
Makalah ini mengusulkan penggunaan agen AI untuk mengompilasi sirkuit kuantum secara lebih efisien ketika subrutin yang menjadi hambatan memiliki struktur yang dapat diverifikasi secara klasik, sehingga sintesis aproksimatif dapat disertifikasi melalui fuzz testing. Makalah ini membahas tiga aplikasi: menghitung 1/√x untuk simulasi operator Coulomb dalam pemodelan reaktor fusi, mendekode kode Reed-Solomon dalam interferometri kuantum terdekode, dan tabel pencarian kuantum dengan rotasi Givens dalam simulasi kimia. Implementasi acuan disajikan sebagai dasar bagi kompetisi Kaggle yang direncanakan tentang optimasi kompilasi berbasis AI.