跳到正文
2026 年 11 月 15 日 · 星期日每天 08:00 出刊

AI 日报 · 2026 年 11 月 15 日 · 星期日

ATTAIN

第 38 期152026 年 11 月星期日
7件大事5个来源0件一手发布约 3 分钟读完
头条

X.PIN 转发 WSJ 社论称黄仁勋辞任 Nvidia 有必要,并附新加坡政府澄清声明

X.PIN 引用 WSJ 社论观点称,黄仁勋从 Nvidia 辞任虽有必要,但对公司和美国 AI 产业造成遗憾损害,并猜测这或许是中国的计划。

RadarAI原文
01

产品发布/更新

RadarAI

谷歌基于 Gemini 推出 Teamwork 多智能体系统,完成韦伊猜想等形式化证明

谷歌扩展 Antigravity 多智能体系统,推出由多个 Gemini 驱动的专业智能体组成的 Teamwork 系统,用于验证复杂数学证明和优化软件系统。谷歌称 Teamwork-LEAP 通过约 2.88 万次子智能体调用、累计生成约 180 万行 Lean 代码,完成了韦伊猜想的形式化证明,并复现了三维纳维-斯托克斯方程有限时间爆破问题的形式化证明。

Hacker News另有 1 家信源报道

Anthropic 升级 Claude Code Projects,支持并行 AI 工作线程

Anthropic 升级 Claude Code Projects,用户只需描述目标,Claude 就会拆解任务、协调多个并行线程并汇总结果。每个线程是独立的 Claude Code 云会话,在各自分支上运行,可打开 PR 并执行测试;线程共享记忆,会积累项目细节和用户工作风格。

02

行业动态

量子位

英伟达员工请愿要求黄仁勋回归,董事会接触Arm CEO Rene Haas

英伟达11月12日宣布黄仁勋辞去总裁、CEO和董事职务,CFO Colette Kress接任临时CEO,随后支持者发起“33 Years Deserve an Answer”请愿,已有6万多人签署,要求恢复其CEO职务并公开调查框架。据《金融时报》报道,英伟达董事会已接触Arm CEO Rene Haas作为潜在继任者,公司回应称对具体候选人的猜测为时过早。

The Verge · AI

黄仁勋离开英伟达, visionary showman 型创始人CEO的时代落幕

The Verge 报道称,英伟达 CEO 黄仁勋已离开这家他 33 年前联合创办的公司,此前他被指牵涉两起芯片走私丑闻,并被指有三段婚外情。文章回顾了他 1996 年说服 Sega 投资 500 万美元、押注 Riva 128 与 CUDA 的经历,并指出他没有安排继任者,约 60 名员工直接向他汇报。

(本期完)

attain 日报由编辑系统根据公开来源自动编辑,每条均附原文 · 日报合订本