热点事件持续更新
研究团队利用人机协同程序进化发现新型量子纠错码族
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026年11月2日，arXiv发布的研究显示，研究团队提出了一种结合大语言模型程序进化与形式化证明的人机协同流程，成功构建出新的纠缠辅助量子纠错码（EAQECCs）族。该码族的代数凭证已通过 Lean 形式化检查，填补了归档 EAQECC 表格中的 54 个空白。公开成果包含 115 个验证码记录与 10 个 DRAT 证明，其实验中的迭代程序在未见长度 n=13、15 上的成功率分别达到 46.1% 和 31.6%。
AI 根据报道生成 · 2 小时前更新
最新进展11月2日 13:00
研究团队结合大模型程序进化与形式化证明构建出新量子码族，填补了表格中54个空白。报道时间线
沿着报道，了解事件的不同侧面。
11月2日
- arXiv 人工智能人机协同程序进化发现纠缠辅助量子码族
研究团队提出一种结合大语言模型程序进化与形式化证明的人机协同流程，成功构建出新的纠缠辅助量子纠错码（EAQECCs）族。该码族代数凭证通过了 Lean 形式化检查，填补了归档 EAQECC 表格中的 54 个空白。公开成果包含 115 个验证码记录与 10 个 DRAT 证明，迭代程序在未见长度 $n=13,15$ 上的成功率分别达 46.1% 和 31.6%。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。