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