利用 AI 降低量子应用开发中的信任成本

研究提出一种结合生成式 AI 与形式化验证的开发方法，旨在降低人工核验量子线路正确性所产生的“信任成本”。该方法将实现划分为目标数学规范、量子线路，以及证明两者一致的对应定理与证明，使人类仅需审查规范与定理陈述，而将定理证明交由机器自动核验。研究以随机粒子系统时间演化的实现作为具体范例展示了该方案。