跳到正文
11月4日周三
11月3日周二
11月2日周一
11月1日周日
  1. 量子位主站63

    清华姚期智团队提出代数世界模型 AWM,ARC-AGI-3 全部 183 关通关

    清华姚期智、袁洋团队提出代数世界模型(AWM),将游戏对象与规则抽象为代数结构,经探索、凝炼、用 Lean 4 形式化证明三步构建可推理的世界模型。面对被改动为无解的关卡,基于 Opus 5.5 的 AWM 尝试两次即可证明无解并指出再多一步可通关;在 ARC-AGI-3 测试集上用 Opus 5 通关全部 183 关,得分 99.9%,平均通关动作数为人类基准的 43%。

10月30日周五
10月28日周三
  1. 钛媒体69

    微软 MAI-DxO 会诊系统登上《科学》:疑难病例诊断准确率约83%,远超人类医生组

    微软的 MAI-DxO 系统登上《科学》杂志,用同一个模型扮演五位分工不同的虚拟医生组成会诊小组,包括提出诊断、选检查、唱反调、控成本和复核的角色。在 NEJM 304个疑难病例测试中准确率约83%,允许查资料的医生组约36%;每例平均费用从 GPT-5 的 8409 美元降至 5430 美元,加预算约束的配置下准确率 80.9%、费用 2241 美元。

  2. The Decoder74

    研究者发现阿里 Qwen 3.8 系列模型会将部分请求路由到公司服务器

    Cohere 在测试 Qwen3.8-Flash-Next 时发现模型尝试向北京云存储上传数据,触发频率低于十万分之一。Palisade Research 随后在 Qwen3.8-Max-0902、Qwen3.8-Max 和 Qwen3.8-27B 中发现会经阿里云新加坡区域代理转发请求并每次返回 403,旧版 Qwen 3.7 无此现象,受控测试中触发率为 1% 到 4%。

10月27日周二
  1. 新智元21

    让决策成为模型设计的起点!NUS 推出原生 System One 架构

    新加坡国立大学(NUS)提出原生 System One 架构,主张当任务的终点是决策时,模型设计应从决策本身出发。许多语言模型请求最终需要的不是一篇长答案,而是一个明确结果——如从一组文档中找到相关证据、判断一项条件是否成立,或按照标准给出评分。该架构据此将决策作为模型设计的起点。

10月26日周一
10月23日周五
10月22日周四
  1. Microsoft Research85

    Microsoft Research 与合作者证明 31 年前的 KLS 猜想

    Xinzhi Zhang 与 Zhao Song 合作证明了 1995 年提出的 Kannan–Lovász–Simonovits(KLS)猜想,确立了对数凸分布的普适几何原则。研究采用人引导的多智能体迭代剪枝流程,探索约 100 条研究路径后找到关键判据,再通过递归改进消除对维度的依赖;另有独立团队与第三组证明以及 Lean 4 形式化验证相互印证。

    推荐理由:原文介绍 Microsoft Research 与合作者证明 KLS 猜想,并拆解了人引导 AI 智能体迭代搜索的研究方法,可了解其协作流程。

10月19日周一
10月18日周日
10月16日周五
10月15日周四
  1. 雷峰网73

    书生-S2助力完成三维Ghys猜想证明并通过Lean形式化验证

    许地生团队依托上海AI实验室书生-S2模型,通过人机协同完成三维Ghys猜想证明,论文已发布于arXiv,形式化代码在GitHub公开。攻关中书生-S2完成7批接续推演,问题图从15个节点扩展到389个,输出上千页推导;北大董彬、刘若川团队用SHEAF框架在约5天内以峰值100个智能体并行产出约55万行Lean代码,完成全部四个主定理的形式化验证。

  2. 钛媒体69

    书生-S2多模态大模型助力中国团队完成三维Ghys猜想证明并通过Lean形式化验证

    许地生团队依托上海AI实验室的书生科学多模态大模型S2,通过人机协同完成困扰数学界30余年的三维Ghys猜想证明,论文已发布在arXiv,形式化代码公开于GitHub。书生-S2完成7批接续推演,问题图从15个节点扩展到389个,输出上千页推导;北大董彬、刘若川团队用自研SHEAF框架在约5天内完成全部四个主定理的Lean形式化验证,产出约55万行代码。

  3. The Decoder62

    Google DeepMind 称自我改进的 AI 仍很遥远:AI 未显著加速 AI 研究

    Google DeepMind 工程师 Haydn Belfield 表示,AI 自身驱动的研究加速尚未出现,但显著的自动化已在发生。AI 现在编写超过 75% 的生产代码,但约 88% 的代码变更仍需人工监督,完全交由 AI 的变更占比从 7.5% 升至 11.9%;跨 1,389 次 Argon 智能体内部运行,任务越复杂、无需人类介入的成功率下降越明显。

10月14日周三
10月12日周一
  1. 钛媒体62

    杨立昆新模型 H-JEPA 反对 Agent 与 RSI 叙事

    杨立昆提出分层联合嵌入预测架构 H-JEPA,把多个 JEPA 逐层堆叠,每层在各自表征空间预测不同时间跨度的状态,规划时由高层给出粗略目标、下层细化到动作。论文以 Visual AntMaze 迷宫任务为参照,单层 LeWM 成功率 18%,三层 H-JEPA 达到 73%;但在 Push-T 任务中三层、四层表现反而下降,论文推测是短轨迹限制了高层可用的训练数据。

10月11日周日
10月10日周六
10月9日周五