跳到正文
今天11月5日周四1 条
10月28日周三
10月27日周二
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月21日周三
  1. NVIDIA Blog68

    NVIDIA GTC Berlin 2026 主题演讲:黄仁勋发布 DSX POD、OpenShell 与 Agile ONE SN

    NVIDIA CEO 黄仁勋在 GTC Berlin 2026 主题演讲中宣布欧洲 AI 布局与多项新品,称欧洲已开始建设 AI 经济,NVIDIA 在欧洲投入近 100 亿美元、合作超过 12,000 家伙伴。

    推荐理由:官方实录覆盖发布、AI 工厂、Agent 安全与机器人平台,读者可以此梳理 NVIDIA 在欧洲的整条布局。

10月15日周四
10月14日周三
  1. Google DeepMind92

    Google DeepMind 发布 Gemini 4 Argon 前沿模型

    Google DeepMind 发布 Gemini 4 Argon,面向开发者、企业、科研人员和普通用户开放,API 定价为每百万输入 token 2 美元、每百万输出 token 10 美元,缓存输入享 95% 折扣。

    推荐理由:官方给出 Argon 在编码、科研与安全上的具体案例和定价,可据此判断前沿模型在真实工作流中的落地程度。

10月9日周五
10月7日周三
  1. Microsoft Research22

    Microsoft 研究员 Jennifer Neville 谈 AI 评测的意外失败与真实世界表现

    Microsoft 合伙人研究经理 Jennifer Neville 在 Microsoft Research Podcast 中讨论评测如何推动 AI 系统性能边界,以及模型在传统 benchmark 之外测试时出现的"意外失败"。她结合自身从数学、物理、认知科学到计算机科学的经历,分享与当前 AI 系统协作的实用建议,并强调当结果超出预期时应仔细审视数据。

10月6日周二
10月2日周五
10月1日周四
  1. Google DeepMind87

    Google DeepMind 发布 Gemini 4 Argon 前沿模型

    Google DeepMind 发布新前沿模型 Gemini 4 Argon,先通过 Fairwind Program 向受信任的网络安全防御方开放,随后逐步扩展至开发者、企业和消费者。

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

7月29日周三
7月26日周日
  1. Berkeley AI Research38

    Berkeley AI Research 提出 ABBEL:用信念状态监督让 LLM 高效完成长程交互

    Berkeley AI Research 提出 ABBEL 框架,将 LLM 的摘要内容隔离为自然语言"信念状态"并加以监督,以应对长程交互中上下文无法无限扩展的问题。在协作编程基准 CollabBench 上,采用基于重构的信念评分后,ABBEL 把与全上下文模型的性能差距缩小约 50%,训练步数从 100 步降至 50 步,峰值 token 长度也显著低于全上下文设置。

5月8日周五
  1. Berkeley AI Research32

    自适应并行推理:高效推理扩展的下一范式

    伯克利 AI 研究团队梳理了并行推理领域进展,指出当前方法多由外部预设并行结构,模型无法自行决定何时分解任务、开多少线程。文章重点讨论自适应并行推理,即让模型根据问题自主决定并行化时机与协调方式,并提及 ThreadWeaver、ParaThinker、GroupThink、Hogwild! Inference 等方法。

4月20日周一
  1. Berkeley AI Research32

    GRASP:面向世界模型长时程规划的梯度规划器

    Berkeley AI Research 提出梯度规划器 GRASP,通过将轨迹提升到虚拟状态实现跨时间并行优化、向状态迭代直接注入随机性以探索,并重塑梯度,让动作获得清晰信号、避免穿过高维视觉模型的脆弱"状态-输入"梯度,使基于学习动力学(世界模型)的长时程规划变得可行。该工作与 Mike Rabbat、Aditi Krishnapriyan、Yann LeCun、Amir Bar 合作完成。

3月13日周五