研究团队利用人机协同程序进化发现新型量子纠错码族
Start here
2026年11月2日，arXiv发布的研究显示，研究团队提出了一种结合大语言模型程序进化与形式化证明的人机协同流程，成功构建出新的纠缠辅助量子纠错码（EAQECCs）族。该码族的代数凭证已通过 Lean 形式化检查，填补了归档 EAQECC 表格中的 54 个空白。公开成果包含 115 个验证码记录与 10 个 DRAT 证明，其实验中的迭代程序在未见长度 n=13、15 上的成功率分别达到 46.1% 和 31.6%。
AI-generated from reports · Updated 3 hours ago
Report timeline
Follow the reports to see different sides of the story.
- arXiv 人工智能人机协同程序进化发现纠缠辅助量子码族
研究团队提出一种结合大语言模型程序进化与形式化证明的人机协同流程，成功构建出新的纠缠辅助量子纠错码（EAQECCs）族。该码族代数凭证通过了 Lean 形式化检查，填补了归档 EAQECC 表格中的 54 个空白。公开成果包含 115 个验证码记录与 10 个 DRAT 证明，迭代程序在未见长度 $n=13,15$ 上的成功率分别达 46.1% 和 31.6%。
Story heat trend
Current heat 9·Comparable peak 10（Nov 2 14:00）·Comparable change, last 24 hours–
Trends compare only the same parties observed continuously, so the scope can be narrower than current heat counts. Move the pointer or tap the chart to see hourly heat; use the left and right arrow keys on a keyboard.