Microsoft Research 用人类引导的 AI 智能体证明 31 年未解的 KLS 猜想
Microsoft Research 的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，给出与维度无关的固定界。
推荐理由：KLS 猜想被证明的过程展示了人机协作做数学研究的具体分工，也给出了独立证明与 Lean 4 形式化的确认路径。
#数据/训练
Microsoft Research精选AI 评分8282
Google DeepMind精选AI 评分6262 Google DeepMind 用 Antigravity 加速抗菌肽发现
Google DeepMind 发布技术演示：生物学家使用 Google Antigravity 智能体开发平台，在一次多轮会话中找到一个对呼吸道感染病原体有预测活性的新型抗菌肽候选物，该候选物已进入湿实验验证。
推荐理由：原文给出了一次多轮对话式的科学发现流程，可看到智能体如何把跨库检索与结构分析压缩进同一会话。
Microsoft Research精选AI 评分7777 微软研究院开源 Agent Lightning v1.0：3500 行代码的轻量智能体 RL 框架
微软研究院开源 Agent Lightning v1.0，用约 3,500 行代码实现名为 Harnessed Agentic RL 的训练范式，让部署时使用的 agent harness 直接参与强化学习，无需在训练框架里重写智能体。
推荐理由：微软研究院开源 Agent Lightning v1.0，给出真实 harness 参与 RL 训练的完整管线与配方，可用于复现。
已经到底了