AI与世界难题 · 量子物理与量子计算 · arXiv · 2026-10-19
利用量子电路中的可验证结构，借助智能体 AI 寻找更高效的编译方案
原标题: Leveraging verifiable structure in quantum circuits to find more efficient compilations with agentic AI
该论文提出，当瓶颈子程序具有可通过经典方法验证的结构时，可以利用 AI 智能体更高效地编译量子电路，这使得近似综合可以通过模糊测试进行认证。论文讨论了三个应用：在聚变反应堆建模的库仑算符模拟中计算 1/√x，在解码量子干涉法中对 Reed-Solomon 码进行解码，以及在化学模拟中使用带 Givens 旋转的量子查找表。文中给出的参考实现将作为计划中的 Kaggle 竞赛的基础，该竞赛围绕 AI 驱动的编译优化展开。