标签：推理

arXiv论文提出SAVeR²：用可验证奖励对齐推理模型安全

arXiv 上新出现一篇论文，提出 SAVeR² 方法，试图在不削弱推理能力的前提下提升大推理模型的安全性，并给出了可验证奖励与梯度投影的技术路径。

英伟达支持的云服务商 IREN 称，微软要求在德州 Childress 数据中心项目里调整网络设备，导致这座承载 97 亿美元合同的大型 AI 数据中心交付延期，公司年化营收目标也从年底推迟到明年初。这类“新云”厂商的工程进度，正成为 AI 算力供给的实际瓶颈之一。

一篇 arXiv 新论文用“模拟协作”方法对比 AI 智能体与人类在 Lean 中构建数学证明的偏好差异，发现 AI 更追逐显式标记的缺口、回避密集型证明核心和复杂目标，值得关注的是人机数学协作该怎样设计。

arXiv 上新论文提出 KDASO 方法，让法律罪名认定等责任判定任务中的可执行“技能库”随真实数据自动更新、对齐专家逻辑并控制上下文开销。摘要称在多个任务上优于现有基线，值得关注的是它试图解决大模型领域技能库易过时、难迁移的问题。

Axiom 于 2026 年 11 月 5 日发布 Stacks Project 的完整 Lean 形式化版本，将这部约 7500 页的代数几何基础参考书转成约 1600 万行机器可验证代码，研究者与 AI 代理可直接导入其定义和定理。

腾讯于 2026 年 11 月 5 日宣布推出新一代大语言模型 Hy4，称其性能已进入全球领先开源模型行列，并首次加入视觉理解与电脑操作能力，模型权重和系统卡将在未来数日开放。

针对大型物体双臂抓取往往只能拿到部分点云的现实，alphaXiv 上发表的 PartialBiGrasp 提出用占用网络隐式推断被遮挡区域，再生成并局部优化力封闭抓取对，在 DG16M 测试集上力封闭率为 55.16%，高于基线 DAGDiff 的 22% 左右。

据日经亚洲报道，AI数据中心对PCB及上游覆铜板（CCL）的旺盛需求正在挤占PC厂商产能，部分订单交付期拉长至30个月、排期已到2030年，CCL成本自7月以来上涨至少12倍。这意味着AI算力扩张的成本压力正传导到消费电子供应链。

英国计划在内阁危机管理机制 COBRA 下新设一个以 AI 为核心的野火响应单位，用卫星图像和早期侦测系统提前发现火情，并首次让皇家空军的 Chinook 直升机和 A400M 运输机挂载专用灭火设备执行空中救援。

alphaXiv 收录的一篇论文提出 RoFacto，把“动作如何变成轨迹”和“机器人长什么样”从视频世界模型中拆出来，改由控制器和 URDF 渲染承担，模型只学场景如何响应。摘要称这种渲染接口优于向量条件基线，并能迁移到未见过的机器人形态。