arXiv 量子物理· Lei Zhang, Mingrui Jing, Yusheng Zhao, Jiahong Liu, Xin Wang·· 2 小时前AI 评分58
Lean-QuantumAlg：让 AI 智能体产出人类可信量子算法的 Lean 4 框架
Lean-QuantumAlg: A Framework for AI Agents to Produce Quantum Algorithms that Humans Can Trust
AI 导读
研究团队提出 Lean-QuantumAlg，一个基于 Lean 4 的框架，用于让 AI 智能体开发可信的量子算法。该框架用 Algorithm-Solves-Problem 契约把正确性、成功概率、借用态恢复以及量子与经典资源上界绑定到同一次执行，并将 Lean 检查的保证与需人类审查的问题规格和执行模型分开。
来源：arXiv 量子物理 · arxiv.org