研究者提出人在回路演化流程发现量子码族

研究者 Jae-Hyun Baek 等人发布一条人在回路的发现流程，将程序演化、精确评估、数学推广、不存在性验证与形式化证明检查结合起来，用于寻找纠缠辅助量子纠错码（EAQECC）。 该研究公布的证据包括 115 条经过验证的码记录、十项带 DRAT 证明检查的不存在性结果、码族实现，以及保留下来可供精确检查和种子复现的搜索程序。这些材料用于支持上述码记录的验证与不存在性结论，其中证明检查针对的是 DRAT 证明。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。