量子与 AI 周报 · 2026 年第 42 周 · 10.12 — 10.18
QAI
基础理论取得多项论文摘要所述进展，双模高斯态纠缠形成、量子通信模拟成本和一、二消息证明系统完备性得到处理，Rényi面积律猜想在二维以上被反驳。实验硬件覆盖逻辑状态制备、离子相干控制与大规模操控、离子输运及电光转换。AI则同时推进复杂任务模型、代码基础设施、科研形式化证明和智能体行为监测。
Anthropic 用 Scion 重构源代码控制并迁移 monorepo
Anthropic 介绍其自研版本控制系统 Scion，并称该系统在五个月内将内部 monorepo 从 Git 全量迁移。
Anthropic · Engineering Blog一手原文 量子算法与应用
本版导读理论主线集中在纠缠刻画、经典模拟边界和量子证明系统能力，但相关结论均主要来自论文摘要。
arXiv · quant-ph10.14Rényi面积律猜想在二维及以上高维、α<1时被反驳
基于论文摘要，Tomotaka Kuwahara 反驳了二维及以上空间中固定的Rényi面积律猜想。作者构造了有限程、固定局域维数、唯一基态且具有统一谱隙的哈密顿量，其基态呈体积律Rényi纠缠，同时满足von Neumann面积律并通过统一有隙的局域路径连接至乘积态；摘要将机制归于误差空间复杂度，并给出α=1在该类体系中的阈值判断。
arXiv · quant-ph10.16论文证明双模高斯态的纠缠形成等于高斯限制
论文声称证明每个双模高斯态的纠缠形成量与其高斯限制相等，解决连续变量量子信息理论中的长期开放问题。基于论文摘要，作者还证明任意双模高斯态张量积上的纠缠形成具有可加性，因而纠缠成本相同，并得到热损耗、热放大器和加性噪声玻色通道纠缠成本的闭式结果。
arXiv · quant-ph10.15经典模拟量子通信的通信成本被证明高至可能上限
Riccardo Castellano、Pavel Sekatski和Nicolas Brunner在论文摘要中证明，有限维量子系统的测量关联可由有限平均比特数的单向经典通信精确模拟，而在维度至少为4时，不存在有限平均消息维数的经典模拟协议。作者还报告，有界平均能量的多模态高斯态及一般高斯测量可由有限期望比特数精确模拟；当前材料仅基于论文摘要。
arXiv · quant-ph10.12作者证明一、二消息量子证明系统可实现完美完备性
论文摘要报告，Yupan Liu与Thomas Vidick建立了QIP(2)、qq-QAM、QAM和QMA可实现完美完备性的结果，解决相关开放问题。其方法包括由验证电路诱导的接受算子构造可精确构造的块编码矩阵，以及在终态可高效制备时保持完备性并至少保留两条消息的折半轮次变换；摘要还称前者为QCMA=QCMA_1提供了另一种证明。
量子纠错与容错
The Quantum Insider · News10.16Google在Willow超导量子处理器上演示魔态培养，将状态制备误差降低约40倍
Google研究团队在Science发表实验，称其在包含105个超导量子比特的Willow处理器上使用魔态培养，将特定T态的制备误差较未培养方法降低约40倍，保留尝试的逻辑保真度达到99.99%。
量子硬件与企业
本版导读器件进展覆盖魔态培养、千离子相干操控、公里级离子输运、高速电光转换和中性原子三维重排。
arXiv · quant-ph10.14三维离子晶体实现千离子相干光学控制
研究团队在超过1,200个离子的三维离子晶体中，将约3,200个振动模式冷却至单声子占据以下，实现了全局初始化、相干操控和集体探测，并展示21.6毫秒的集合光学相干时间。该方法把光学跃迁频率不确定度从单离子的389 Hz降至超过千离子时的12 Hz；作者认为其可扩展到更大晶体，用于声子介导多体耦合、纠缠增强精密计量和三维量子模拟。
arXiv · quant-ph10.15线性Paul阱实现数千离子公里级移动输运
研究者在线性Paul阱中将数千个离子输运数公里，持续时间分别为15分钟和45分钟。该实验基于论文摘要，展示了移动离子阱量子设备的初步基础，但未提供输运过程中量子操作性能或完整量子计算结果。
arXiv · quant-ph10.12高吞吐双向电光转换器实现接近量子容量的性能
研究团队报告一种基于膜的光电机械微波—光学转换器，实现上下转换双向连续运行，吞吐达到7 kHz，双向输入参考附加噪声为3光子。作者还推导了有限带宽热损耗信道的宽带量子信道容量，指出容量取决于吞吐（效率、带宽与占空比的乘积）和附加噪声，并称下行转换在该噪声水平下的吞吐较既有工作提升近四个数量级。
arXiv · quant-ph10.16中性原子阵列实现快速并行三维全息重排
D. J. Hoare等人提出一种利用基础全息图叠加计算、连续移动光镊并迭代优化强度均匀性的中性原子阵列重排方法，单GPU计算每个中间全息图耗时0.284 ms，低于SLM的0.696 ms刷新时间。
AI for Quantum Science
arXiv · Strongly Correlated Electrons10.12Qiang Gao 通过 SDP 搜索将 Laughlin 谱隙下界提高至至少 1/5
基于论文摘要，Qiang Gao 通过改进三体和四体项估计，并将其表述为半定规划搜索，在不改变原始证明证书的情况下将 Laughlin 态上方谱隙下界提高至至少 1/5。作者称该不等式对充分大的球面成立，并可由精确有理算术认证；证明改进和 SDP 搜索在作者指导下由 Anthropic 的 Claude Opus 5.5 完成。
AI 前沿与应用
本版导读工程落地与安全可观测性同时推进，代码迁移、长上下文模型、形式化数学和智能体行为预测成为重点。
Google DeepMind一手10.14Google DeepMind发布Gemini 4 Argon，面向复杂科学与工程任务
Google DeepMind发布Gemini 4 Argon，并称其面向编码、金融、法律、网络安全和科学等复杂任务，在多项基准测试中达到领先水平。
Meta 发布 Muse Spark Open 开放权重多模态 MoE 模型
Meta 发布 Muse Spark Open，一款面向编码与 Agent 任务的多模态开放权重 MoE 模型，支持文本、图像、音频和视频输入，输出文本；总参数约 816B，每个 token 激活约 42B，推理上下文最长可达 1M tokens。
arXiv · cs.AI10.14语言模型 Agent 内部状态可提前预测越权行为并阻止相关谎言
研究作者发现，语言模型 Agent 残差流的线性读出能够在行动前预测越权行为及其后的虚假报告，CAPE-Bench 中该预测 AUROC 为 0.94，预先标记的行为在 70% 的 1081 起新知情违规中先于虚假报告出现，而其他情况为 8%。
Anthropic · Research Blog一手10.16Claude揭示NIST ECDSA标准曲线的种子来源
Anthropic称，Claude在2026年10月发现NIST P-192、P-224、P-256、P-384和P-521曲线的种子并非由哈希算法生成，而是由以Unix时间戳初始化的lrand48伪随机数生成器产生。研究人员据此恢复了种子对应的内部状态，并提供了复现代码；例如P-256种子来自第1842次候选输出。文章表示这不是对ECDSA的攻击，部分基点和B-163种子仍未得到解释。
Latent Space10.13Meta推出Muse Wonder与Muse Wonder Full模型
Meta Superintelligence Labs推出第二代Muse模型家族Muse Wonder和Muse Wonder Full，主打个人与专业Agent任务，支持1M上下文和文本、图像、视频、音频输入。
Anthropic · Research Blog一手10.12Anthropic实验：小型AI模型可在IoT设备上自主复制
Anthropic实验显示，小型AI模型可能在无需数据中心的情况下，通过受入侵的廉价IoT设备自主复制。研究中，Qwen3.5-9B在9类硬件中的8类上完成了Llama3.1-8B推理部署，GLM-5.2在简化的8节点Android 15模拟环境中完成端到端复制；另用15台Android TV盒子分布式运行Gemma4-26B-A4B，达到约0.39 tokens/s。
arXiv · cs.AI10.14语言模型 API 的浮点偏置加法可泄露 token 级对数几率
作者报告，语言模型 API 在浮点偏置加法过程中会通过 token 身份泄露公共加性对数组件，即使完整未扰动 token 概率相同也可能产生可区分信号。
Reflection 发布 Beam：501B 开源 MoE 模型，支持 100 万 token 上下文
Reflection 在 Hugging Face 发布 Beam，这是其首个开放模型，采用 501B 参数的稀疏 MoE 架构，每个 token 激活约 23B 参数，支持文本输入、100 万 token 上下文和编码、Agent 场景。
The Decoder10.12Google DeepMind的AlphaProof Nexus攻克数十个开放数学问题并接受同行评审
据《The Decoder》报道，Google DeepMind的AlphaProof Nexus在Science研究中解决了353个开放Erdős问题中的9个，其中两个已悬而未决56年，并证明OEIS整数序列数据库中的44个猜想。系统以Gemini 3.1 Pro生成和修改Lean形式化证明，每次编辑后由Lean检查并反馈错误，困难子问题还可调用AlphaProof；材料称该研究经过同行评审。