[AI]《Discovering formally verified quantum programs with AI》S Shirobokov, B Jaderberg, K Hristova, G Tsoukalas… [Google DeepMind] (2026)

在量子领域，用AI压缩大型程序是一个悬而未决的难题。过去的方法受困于仅能测试微小回路，本质原因是缺乏硬件，致使代码难辨对错。

本文的核心洞见是：把代码试错重新看作定理证明。由此，引入机审裁判逼迫AI同步交出推导逻辑，这一关键操作使问题得以解开。

这项工作真正留下的遗产是骤降百倍算力的核验程序。它为后来者打开的新门是让人脱离线路拼装去制定规范，但尚未跨过的门槛是将代码与机器纠错布线融合。

arxiv.org/abs/2611.09822 #机器学习# #人工智能# #论文# #AI创造营#