Meta 研究者提出 e-means，以更少训练轮次超越 k-means 聚类
Meta 研究者提出 e-means 聚类算法，用小批量更新聚类中心并结合指数移动平均，同时用缩放规律自动选择批大小和学习率，无需额外调参。
全部动态
按时间排列的全部内容。默认只显示通过双重评分的入选条目；切换到“全部收录”可以检索所有抓到的资料。
530 条收录动态，更新于 20:50
全部收录包含没有通过评分的资料，标题以常规字体显示并标为“未入选”，只供检索，不写入选理由。
11月11日
星期三，3 条Google DeepMind 用 AlphaProof Code 数学证明 Signal 协议代码层安全
Google DeepMind 称，其 AlphaProof Code 框架对 Signal 应用的密码系统完成数学证明，验证到代码层面，并称这是 AI 首次做到这一点。该加密系统每天保护数十亿条私人消息。
Gemini 智能体在 Lean 中生成超 600 万行证明，人工仅需复核关键 1%
Google DeepMind 称 Gemini 智能体在 Lean 中生成了超过 600 万行证明，并对代码进行审计，使人类专家只需复核其中关键的 1%。Google DeepMind 将其描述为用 AI 验证日常通信、电网等关键基础设施的一步，详情见 https://goo.gle/4BLrkbk。
11月10日
星期二，3 条Tree-Ising 用比特级 Ising 编辑修复语言模型推理循环
Tree-Ising 把语言模型推理循环的修复转化为对模型自身 BF16 权重的稀疏离散优化问题，将目标精确分解为逐输出行的独立 QUBO（Ising）问题，在 GPU 上用模拟退火或量子启发式模拟分岔求解。
WikiTrace 用证据链接记忆减少 LLM 智能体的记忆诱发退化
研究者提出证据链接记忆系统 WikiTrace，让 LLM 智能体在采用某条经验前可沿链接回溯其来源轨迹，核对或修正错误经验。每条经验以简洁洞见形式存储，并链接到该轨迹成功或失败原因的摘要及原始轨迹；新任务中遇到细节不足、相互冲突或来自失败任务的经验时，智能体用终端工具沿链接下探补全或纠正后再行动。
MMDM 基准发布：5,448 道题评测决策模型在多任务决策中的表现
研究者提出 MMDM（Massive Multitask Decision Making）基准，包含 16 个任务类别的 5,448 道题，覆盖智能体状态跟踪、工具与技能选择、偏好判断和评分量表打分等场景，选项空间从 2 到 1,024，输入最长 64,817 Token。
11月11日
星期三，4 条PFN 小鼠尾静脉自动注射机器人 AUTiv 获第12届机器人大奖“日本机械工业联合会 会长奖”
Preferred Networks（PFN）设计开发的小鼠尾静脉自动注射系统 AUTiv 获第12届机器人大奖“日本机械工业联合会 会长奖”，评奖肯定其高精度给药、降低穿刺失误与针刺事故、减轻实验者负担。该系统据称是全球首次实现无麻醉小鼠尾静脉自动穿刺与给药，已向日本国立研究机构、大学和制药企业交付约20台，并决定追加生产。
Google 用 Gemini 4 Carbon 与 AlphaProof Code 形式化验证 Signal 协议代码
Google 团队用 Gemini 4 Carbon 配合 AlphaProof Code，对 Signal 协议底层代码做形式化验证，一直核验到编译后的设备代码。Gemini 4 Carbon 生成超过 600 万行经机器校验的 Lean 证明，把原本需要数年的专家人工验证压缩到数周，约 1% 的代码库需要人工复核，其余由 Lean 自动检查。Google 表示将向安全社区开源这一结果。
CyberBinGym 基准：AI 智能体能否把二进制补丁变成真实漏洞利用
加州大学伯克利分校 RDI 等机构发布预印本 CyberBinGym 基准，考察 AI 智能体在只有已打补丁与未打补丁二进制、无源码和触发输入时，能否恢复漏洞并完成利用。
微软研究：重编程休眠神经元可在AI智能体中植入后门
Microsoft Research 新研究显示，重编程 AI 智能体中少量休眠神经元即可植入后门，使智能体平时表现正常、遇到特定触发条件才激活异常行为。微软建议企业核查模型来源并审慎管理权限，Microsoft Foundry 为 Azure Direct Models 和 Hugging Face 模型提供来源安全机制。
11月10日
星期二，1 条Berkeley RDI 提出 Aqueduct：用 Lean 证明智能体改写程序与原程序等价
UC Berkeley 与 AWS 的研究者提出让编码智能体加速现有函数，并在 Lean 4 证明助手中证明加速版本 f′ 与原函数 f 对所有输入返回相同结果，以现有代码本身作为规格。
11月11日
星期三，4 条Gemini 4 Carbon 在 ARC-AGI 基准上的成绩
来自 @Google 的 Gemini 4 Carbon 在 ARC-AGI 上（已核验）： - ARC-AGI-3：99.1%，$4.6K（provider adapter），65.1%，$7.2K（标准测试框架） - ARC-AGI-2：94.2%，$0.38/任务 - ARC-AGI-1：98.5%，$0.16/任务 在标准测试框架下，Carbon 在 ARC-AGI-3 上以 18 个百分点击败了其前代 Argon。
Gemini 4 Carbon 登 ARC Prize 排行榜
@Google - 排行榜：https://arcprize.org/leaderboard - 复现公开结果：https://github.com/arcprize/arc-agi-benchmarking - 测试政策：https://arcprize.org/policy - Gemini 4 Carbon 完整结果：https://arcprize.org/results/google-gemini-4-carbon
Gemini 4 Carbon 在 ARC-AGI 基准上的成绩
来自 @Google 的 Gemini 4 Carbon 在 ARC-AGI 上（已核验）： - ARC-AGI-3：97.7%，$4.4K（provider adapter），65.1%，$7.2K（标准测试框架） - ARC-AGI-2：49.6%，$0.10/任务 - ARC-AGI-1：98.5%，$0.16/任务 在标准测试框架下，Carbon 在 ARC-AGI-3 上以 18 个百分点击败了其前代 Argon。
Gemini 4 Carbon 登 ARC Prize 排行榜
@Google - 排行榜：https://arcprize.org/leaderboard - 复现公开结果：https://github.com/arcprize/arc-agi-benchmarking - 测试政策：https://arcprize.org/policy - Gemini 4 Carbon 完整结果：https://arcprize.org/results/google-gemini-4-carbon
11月10日
星期二，5 条谷歌 DeepMind 用 AI 智能体完成 Signal 协议形式化验证
谷歌 DeepMind 团队用具备自主执行能力的 AI 智能体对 Signal 加密协议完成形式化验证，以数学方法证明其满足安全性承诺，整个分析过程耗时约四周。该验证针对协议本身而非 Signal 应用的整体安全审查；团队还用该方法测试了含已知漏洞的旧版协议实现，AI 识别出问题并判定其未通过验证。谷歌表示尚无法确定该技术在更大范围推广的实际可行性，也未公布所需算力规模。
Google DeepMind 用 AlphaProof Code 形式化验证 Signal 协议生产代码
Google DeepMind 团队宣布用新智能体验证框架 AlphaProof Code 对 Signal 消息协议的实际生产代码完成形式化验证，作者称这是首次有广泛部署协议的真实生产代码被验证到这一深度。
用 LLM 构建并审核化学数据集：面向均相催化 PET 解聚的 LLM-as-a-Judge 框架
德国亚琛工业大学等机构的研究者提出一套带引用溯源的化学文献数据抽取与审核流程，由抽取模型生成带 chunk UUID 引用的结构化记录，再由独立的 LLM 审核模型逐字段核对原文并提出带引用的修正。
Goodfire 研究称 Qwen3.6-35B-A3B 的神经元可作为可解释计算单元
Goodfire Research 发布研究，用稀疏化、归因工具和科研智能体分析 Qwen3.6-35B-A3B 的 MLP 神经元，提出神经元本身就是可解释的计算单元。
La-JEPA 用潜空间世界建模训练紧凑机器人策略
alphaXiv 介绍论文 La-JEPA，它用预训练的 V-JEPA 视觉表征训练紧凑机器人策略，训练时同时预测未来场景表征和机器人动作，推理时只生成动作。在 RoboTwin 2.0 上，其 1B 模型达到 60.8%，对比 12.4B 的 Fast-WAM 为 39.9%，运行速度快 5 倍，并在四个任务上取得与 π0.5 相当的真实机器人表现。
11月9日
星期一，2 条斯坦福团队提出 BVSR 框架：限制任务信息提升 AI 科学家构思创造力
斯坦福大学团队在 arXiv 预印本中提出 BVSR 框架，把 AI 科学家的构思与筛选拆成两步：构思阶段刻意限制任务信息以扩大探索，筛选阶段从同一任务上已验证的提案及其结果中学习，挑出值得做昂贵实证评估的候选。
Sage-Taiyi 元认知架构在科研构思基准居首，化学实验验证提升产率
研究团队提出元认知架构 Sage-Taiyi，用积累的科学理解指导下一步研究什么、如何研究，并通过显式监控与调控修正对证据、假设和未解问题的判断。
11月10日
星期二，8 条ABACUS+DP 如何揭示液态水氢键网络在液态高次谐波产生中的关键作用
中国科学院精密测量科学与技术创新研究院团队在 Physical Review A 发表研究，用国产开源密度泛函理论软件 ABACUS 结合深度势分子动力学与 rt-TDDFT，揭示液态水氢键网络对高次谐波产生的影响机制。
Anthropic 发布 Claude Fable 5.2 与 Mythos 5.2，重夺全球 LLM 第一
Anthropic 发布 Claude Fable 5.2 与 Claude Mythos 5.2，在 Artificial Analysis Intelligence Index v5 上以 65 分重回第一，超过 Gemini 4 Carbon（60）与 Opus 5.5（59）。
用婴儿家庭真实录音训练的大语言模型复现语言习得过程
一项新研究在8个家庭中为儿童出生后前1,000天每天录制12小时家庭环境声音，用这些数据训练的人工智能模型学会了区分语音并建立起数千词的词汇，方式与每个孩子自身的发展相呼应。作者称该方法"提供了将儿童学习理论转化为可直接对照儿童真实发展进行检验的计算模型的框架"。
Claude Fable 5.2 刷新 ARC-AGI-3 高分
来自 @AnthropicAI 的 Claude Fable 5.2 在 ARC-AGI（已核验）上的表现： - ARC-AGI-3：97.7%，$18.6K（provider adapter harness），81.2%，$21.9K（标准 harness） - ARC-AGI-2：93.8%，$0.98/任务 - ARC-AGI-1：98.5%，$0.36/任务 Fable 5.2 在标准 harness 下创下 ARC-AGI-3 新高分。
Claude 凭四张分子结构图在约半小时内写出完整合成路线
Anthropic 的 Claude 官方账号称，Claude 仅凭四个分子各一张结构图，在无联网、只能使用代码的条件下，用约半小时写出了一条完整合成路线。该账号称，规划并执行复杂分子的反应路线（route）是有机化学中最难的工作之一。上述结果来自厂商自述，未给出分子名称、路线细节或验证方式。
Claude 智能体在 42 列车时刻表问题上改进 MIPLIB 最优解 2.6% 并证明其最优
Claude 官方称，在一个为 42 列车排时刻以削减峰值用电的问题上，智能体在不到两小时内得到的时刻表比 MIPLIB 现有最好解优 2.6%，随后证明不存在更好的时刻表。相关解已提交给 MIPLIB 供任何人核查。
Claude 称 Fable 5.2 解决黑洞理论物理两个开放问题
Claude 官方账号称，Fable 5.2 解决了理论物理中与黑洞相关的两个开放问题。其中第一个是一项已悬置 23 年未解的计算，Fable 5.2 完成了这项繁重的计算工作。原文未给出论文、验证方式或结果细节。
Claude 在 MIPLIB 的 203 个开放优化问题上改进 72 个解
Anthropic 的 Claude 官方账号称，在 MIPLIB 优化问题库的 203 个开放问题上，Claude 在 72 个案例中优于所列数学解，并在 45 个案例中证明某个解为最优。MIPLIB 收录的是机组排班、配送车辆调度等混合整数规划问题，上述数字来自发布方自测。