Google 新团队 AIS 发布 DuoDiscover：内核平均提速 4.09 倍
VioletNPeng · x · 2026-11-15
UCLA 休学加入 Google 的研究者 Violet NPeng 宣布成立新研究团队 AIS（Agents for AI-Infra and Science），押注 AI for Discovery，共同设计模型与智能体框架来优化 ML/AI 基础设施并攻克前沿科学问题。
两个项目已登上 Google Research Blog，并正通过 Antigravity 的 /teamwork 面向所有用户 GA：
- DuoDiscover（系统优化）：在 17 个 JAXBench 内核上取得平均 4.09 倍加速，在 vLLM TPU Pallas 内核上以平均 2.99 倍加速超越手工调优基线。
- LEAP（形式化数学）：自主生成 180 万行 Lean 代码，完成 Weil 猜想的端到端形式化，并取得首个……（原文截断）
「漫话AGI」频道最新
- Ought 设立认知基金:50 万至 500 万美元资助求真工具项目 — NathanpmYoung · 2026-11-15
- 研究者用 AI 检测器 Pangram 先筛论文：AI 写的直接略读 — TuhinChakr · 2026-11-15
- 创始人放话：要建一家由 Agent 运营、服务 Agent、用 Agent 防御的银行 — neal_lathia · 2026-11-15
- LessWrong 长文 argued：预测（Forecasting）被严重高估，不该再砸钱 — JacquesThibs · 2026-11-15
- AI 研究者论战:前沿 AI 问题就是前沿哲学问题 — fkasummer · 2026-11-15
- 1.35 万篇 arXiv 论文扫描：38% 新论文被判定为 AI 撰写 — GenerativeFart · 2026-11-15