AI 與世界的難題 · 量子物理與量子運算 · arXiv · 2026-10-19
運用量子電路中可驗證的結構，以代理式 AI 尋找更高效的編譯方式
原標題: Leveraging verifiable structure in quantum circuits to find more efficient compilations with agentic AI
本文提出利用 AI 代理更有效率地編譯量子電路，適用於瓶頸子程序具有可由古典方法驗證之結構的情況，使近似合成可透過模糊測試（fuzz testing）加以驗證。文中討論三項應用：在核融合反應爐建模中計算 1/√x 以模擬庫侖算符、在解碼量子干涉術中解碼 Reed-Solomon 碼，以及在化學模擬中使用 Givens 旋轉的量子查找表。文中提供的參考實作，將作為規劃中之 AI 驅動編譯最佳化 Kaggle 競賽的基礎。