ホットトピック継続更新中
研究团队利用人机协同程序进化发现新型量子纠错码族
1 件の報道1 件の報道元3 時間前 更新
まずこの件を把握する
AI 概要
2026年11月2日，arXiv发布的研究显示，研究团队提出了一种结合大语言模型程序进化与形式化证明的人机协同流程，成功构建出新的纠缠辅助量子纠错码（EAQECCs）族。该码族的代数凭证已通过 Lean 形式化检查，填补了归档 EAQECC 表格中的 54 个空白。公开成果包含 115 个验证码记录与 10 个 DRAT 证明，其实验中的迭代程序在未见长度 n=13、15 上的成功率分别达到 46.1% 和 31.6%。
AI が報道をもとに生成 · 3 時間前 更新
最新の進展11月2日 13:00
研究团队结合大模型程序进化与形式化证明构建出新量子码族，填补了表格中54个空白。報道タイムライン
報道をたどり、出来事のさまざまな側面を知る。
11月2日
- arXiv 人工智能人机协同程序进化发现纠缠辅助量子码族
研究团队提出一种结合大语言模型程序进化与形式化证明的人机协同流程，成功构建出新的纠缠辅助量子纠错码（EAQECCs）族。该码族代数凭证通过了 Lean 形式化检查，填补了归档 EAQECC 表格中的 54 个空白。公开成果包含 115 个验证码记录与 10 个 DRAT 证明，迭代程序在未见长度 $n=13,15$ 上的成功率分别达 46.1% 和 31.6%。
このストーリーのホット度の推移
現在のホット度 9·比較可能範囲のピーク 10（11月2日 14:00）·直近24時間の比較可能な変化–
トレンドは継続して完全に観測した同じ主体のみを比較するため、現在のホット度の集計より範囲が狭い場合があります。ポインターの移動やタップで1時間ごとのホット度を確認でき、キーボードでは左右の矢印キーで切り替えられます。