利用量子电路可验证结构通过 AI 智能体实现更高效编译

研究人员提出一种利用 AI 智能体优化量子电路编译的新范式，通过将瓶颈子程序约束为经典可验证结构，并结合模糊测试等方式实现近似电路合成的高效认证。该方法适用于惯性约束核聚变中的库仑算符模拟瓶颈 $1/\sqrt{x}$ 计算、Reed-Solomon 码解码，以及二次量子化化学模拟中的量子查找表与受控 Givens 旋转。