跳到正文
10月14日周三
  1. Google DeepMind87

    Google DeepMind 发布 Gemini 4 Argon

    Google DeepMind 发布 Gemini 4 Argon,今日起通过 Gemini API、AI Studio、Google Antigravity 及 Gemini 应用和搜索 AI Mode 面向开发者、企业和消费者开放,定价为每百万输入 token 2 美元、输出 token 10 美元。

    推荐理由:官方给出 Argon 在编码、科研与安全对齐上的具体数字和开放入口,可据此判断前沿模型在长程任务上的进展。

10月13日周二
  1. Latent Space82

    Meta 发布 Muse Wonder 与 Muse Wonder Full 模型

    Meta Superintelligence Labs 发布第二代模型家族 Muse Wonder 与 Muse Wonder Full,前者可通过 Meta Model API 和 Muse Code 使用,后者仅向 Muse Code 订阅用户开放。

    推荐理由:汇总第三方评测与从业者反馈,可对照看 Meta 新模型在智能体与编码任务上的位置和价格差异。

  2. The Decoder62

    Sakana AI 与 UC Berkeley 提出 MASS 自改进方法,共享盲区成隐患

    Sakana AI 与 UC Berkeley 提出多智能体自监督方法 MASS,让同一个语言模型同时承担解题、评判和优化工作流三种角色,无需更强的教师模型。基于 Qwen3.6-27B 和 Qwen Code,在测试任务上对基线的胜率从一轮后的 53.9% 升至两轮后的 69.9%,自评估器与外部评判的一致率从 73% 升至 93%。

10月12日周一
  1. The Decoder81

    Google DeepMind 的 AlphaProof Nexus 解出数十道开放数学题并获同行评审

    Google DeepMind 的 AlphaProof Nexus 独立解出数十道开放数学问题,相关研究发表在 Science 上。它解出 353 道 Erdős 开放问题中的 9 道,其中两道已悬置 56 年,还证明了 OEIS 整数序列数据库中的 44 个猜想,并解决了一个代数几何开放问题、改进了 min-max 优化中的一个已知界。

    推荐理由:AlphaProof Nexus 用 Lean 形式化验证并经过同行评审,可与 OpenAI 未投稿的做法形成对照。

10月11日周日
10月10日周六
10月9日周五
10月8日周四
  1. Simon Willison78

    Anthropic 发布 Claude Haiku 5.5 并调整 API 计费

    Anthropic 发布快速低成本模型 Claude Haiku 5.5,定价与 OpenAI GPT-6 Luna 一致,为每百万 token 输入 0.10 美元、输出 0.50 美元,超过 100,000 token 后涨至 0.50/2.50 美元。

    推荐理由:对比 Haiku 5.5 与 GPT-6 Luna 的定价和 tokenizer 变化,并给出实测成本与耗时数据。

10月7日周三
  1. OpenAI News60

    OpenAI 公布前沿模型在数学开放问题上的进展

    OpenAI 发布内部前沿模型在数学开放问题上的新结果,并在 GitHub 上公开 Lean 证明形式化与研究细节。材料仅提供摘要,未给出具体问题、模型名称或结果数据。

    推荐理由:OpenAI 公开内部前沿模型在数学开放问题上的结果,并放出 Lean 形式化证明与细节,可据此了解其数学推理进展。

10月6日周二
10月5日周一
10月2日周五
  1. MIT Technology Review · AI50

    别被 LLM 骗了:大语言模型并不会真正推理

    前 Google DeepMind 研究员指出,LLM 靠逐个预测 token 生成答案,本质只是"系统 1"式的快速直觉,并非真正推理。他认为链式思维仍由同一套 next-token 预测产生,缺少可检视的显式认知状态、知识与推理的分离,且推理链常是事后编造。他主张借鉴 AlphaGo 的游戏树搜索架构,为 AI 建立可更新的认知状态,以实现可信推理。

  2. Ars Technica · AI62

    AI 首次在 Stratego 上击败史上最强人类选手,仅用 16 块 GPU 训练

    卡内基梅隆、MIT、纽约大学和斯坦福的研究团队开发的 AI 系统 Ataraxos 以 15 胜 1 负 4 平击败被称史上最强的 Stratego 选手 Pim Niemeijer。该研究仅用 16 块 GPU 和几千美元完成训练。Stratego 因大量隐藏信息在长时间尺度上逐步展开,此前连 DeepMind 也未能造出可靠击败顶尖人类玩家的机器。

10月1日周四
  1. Google DeepMind83

    Google DeepMind 发布 Gemini 4 Argon 前沿模型

    Google DeepMind 发布新前沿模型 Gemini 4 Argon,先通过 Fairwind Program 向受信任的网络安全防御者开放,随后逐步扩展到开发者、企业和消费者,起价为每百万输入 token 2 美元、每百万输出 token 10 美元,缓存输入 token 按输入价的 95% 折扣计费。

    推荐理由:官方给出 Argon 在编码、企业知识与网络安全上的基准与内部落地数据,可据此判断前沿模型的能力边界与分阶段开放节奏。

9月24日周四
9月16日周三
8月24日周一
  1. Import AI22

    Import AI 470:机器不应享有权利;用 SPADE 自动生成环境;用 Hawkeye 构建更好的 GPU kernel

    METR 研究显示 AI 对科学的加速并不均匀:2026 年网络安全漏洞报告速度较 2025 年大幅加快,数学领域贡献有限,AI 研究本身则无可测量的加速。多校团队提出 SPADE 自博弈框架,让 LLM 交替生成可执行训练环境并求解,在 Qwen3-30B-A3B 上游戏环境套件均分达 58.3,较基线提升 8.1。

8月13日周四
  1. Microsoft Research38

    MindTopo 基准揭示 VLM 空间推理能力短板

    Microsoft Research 推出 MindTopo 基准,用于评测多模态大语言模型的拓扑推理能力,覆盖连通性、分离、顺序、包围与打结五类关系,并分为静态推理与交互规划两个层级。测试显示,现有闭源与开源模型在静态识别上明显优于交互规划,且均远低于人类水平;失败多发生在规划阶段而非感知阶段,模型在场景变化中会丢失结构关系或提出违反物理约束的动作。图像与视频生成仅在单帧保留结构约束时才有帮助。

7月29日周三
  1. Berkeley AI Research62

    从 CUDA 到 MLX:K-Search 如何把内核优化经验带到 Apple Silicon

    Berkeley AI Research 与 IBM Research 将 K-Search 进化式内核搜索框架扩展到 MLX,并加入结构化 CUDA-to-MLX 翻译层,让已有 CUDA 内核经验自动适配 Apple Silicon。

    推荐理由:展示了把 CUDA 内核优化经验结构化迁移到 Apple Silicon 的方法,并给出注意力与 Mamba 两类内核的实测对比。

7月26日周日
  1. Berkeley AI Research34

    Berkeley AI Research 提出 ABBEL:用信念状态监督 LLM 长程交互

    Berkeley AI Research 提出 ABBEL 框架,将 LLM 智能体的摘要以自然语言"信念状态"形式隔离并监督,替代完整交互历史作为工作上下文。在 CollabBench 协作编程任务中,基于重建的信念评分(rec-BG)将 ABBEL 与全上下文模型的性能差距缩小约 50%,训练步数从 100 降至 50,峰值 token 长度也显著低于全上下文设置。