#量子纠错码

研究者用 LLM 程序进化发现纠缠辅助量子码族

研究团队构建研究者参与的发现流程，结合程序进化、精确评估、形式化证明检查，用于纠缠辅助量子纠错码。演化程序产出有限量子比特构造，被推广为通用码族并由 Lean 验证，填补归档表中 54 个空缺，释放 115 条已验证码记录。