热点事件观察中
研究者提出人机协同程序演化发现纠缠辅助量子纠错码族
1 篇报道1 个报道来源1 天前更新
先了解这件事
AI 综述
2026年11月2日，arXiv披露一项最新研究，研究人员提出了一种结合程序演化、数学泛化与形式化验证的研究人员在环（researcher-in-the-loop）流程，成功发现了纠缠辅助量子纠错码族（EAQECCs）。该码族已通过 Lean 形式化验证，成功填补了 EAQECC 归档表格中的 54 个空白，并公开发布了 115 个验证码记录与 10 个不可存在性证明。测试结果显示，在未见长度 n=13 和 15 的测试中，迭代演化程序的成功率分别达 46.1% 和 31.6%，表现远高于独立生成程序。
AI 根据报道生成 · 1 小时前更新
最新进展11月2日 13:00
研究者提出在环演化流程发现EAQECCs码族，填补54个归档空白并通过Lean形式化验证。报道时间线
沿着报道，了解事件的不同侧面。
11月2日
- arXiv cs.AI研究人员在环演化发现纠缠辅助量子纠错码族
研究人员提出结合程序演化、数学泛化与形式化验证的研究人员在环流程，成功发现了纠缠辅助量子纠错码族（EAQECCs）。该码族经 Lean 形式化验证，填补了 EAQECC 归档表格中的 54 个空白，并公开了 115 个验证码记录与 10 个不可存在性证明。在未见长度 n=13 和 15 的测试中，迭代演化程序成功率达 46.1% 和 31.6%，远高于独立生成程序。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。