Google 团队提出用可验证结构加 AI 代理优化量子线路编译

Google 量子研究团队（Khattar、Rubin、Gidney、Broughton、Low、Babbush）在 arXiv 发布论文（arXiv:2610.23832，仅基于摘要），提出一种范式：当量子线路编译中的瓶颈子程序可被约束为具有经典可验证结构时，可利用 AI 代理更高效地编译量子线路，并对近似电路合成进行基于 fuzz testing 的认证。作者称该范式在满足对输入分布的适当假设时有效。 论文讨论三类应用：库仑算符实空间模拟、Reed-Solomon 码译码、二量子化化学模拟中的量子查找表与受控 Givens 旋转，并提供了参考实现。作者表示此举意在发起一项 Kaggle 竞赛，以加速基于 AI 的编译优化研究；该竞赛为计划，尚未见实际结果。

AI 根据报道生成 · 3 小时前更新