arXiv 人工智能· Jae-Hyun Baek, Byung-Sun Won, Jon-Lark Kim·· 3 小时前AI 评分47
人机协同程序进化发现纠缠辅助量子码族
Researcher-in-the-Loop Evolutionary Discovery of Entanglement-Assisted Quantum Code Families
AI 导读
研究团队提出一种结合大语言模型程序进化与形式化证明的人机协同流程，成功构建出新的纠缠辅助量子纠错码（EAQECCs）族。该码族代数凭证通过了 Lean 形式化检查，填补了归档 EAQECC 表格中的 54 个空白。公开成果包含 115 个验证码记录与 10 个 DRAT 证明，迭代程序在未见长度 $n=13,15$ 上的成功率分别达 46.1% 和 31.6%。
来源：arXiv 人工智能 · arxiv.org