上海调查处置工作组通报交大医学院基因编辑患儿死亡事件处理结果
涉事患儿确诊为Snijders Blok-Campeau综合征。2023年7月，患儿家属联系上海交通大学医学院松江研究院仇某某团队定制基因编辑疗法。2025年1月获伦理批准，3月24日在新华医院接受注射，3月31日经抢救无效死亡，医院认定死因为基因治疗并发症血栓性微血管病。相关研究论文于2026年2月发表于《自然》。
调查认定，临床前研究未及时通报非人灵长类动物安全性预警，论文未披露安全性报告和患儿死亡等负面结果，利益冲突披露不实，但未发现数据造假。新华医院临床研究科学性审查和伦理审查不充分，知情同意未重点告知死亡风险。部分人员收受患儿家属财物合计约106万元，已退还或上交。
仇某某、杨某被开除，5年内取消承担或参与科技计划项目、评奖评优等资格，并记入科研诚信严重失信行为数据库。上海交通大学医学院、新华医院和松江区中心医院被约谈并责令整改，相关医疗机构受到行政处罚。
—— 新京报、澎湃新闻
涉事患儿确诊为Snijders Blok-Campeau综合征。2023年7月，患儿家属联系上海交通大学医学院松江研究院仇某某团队定制基因编辑疗法。2025年1月获伦理批准，3月24日在新华医院接受注射，3月31日经抢救无效死亡，医院认定死因为基因治疗并发症血栓性微血管病。相关研究论文于2026年2月发表于《自然》。
调查认定，临床前研究未及时通报非人灵长类动物安全性预警，论文未披露安全性报告和患儿死亡等负面结果，利益冲突披露不实，但未发现数据造假。新华医院临床研究科学性审查和伦理审查不充分，知情同意未重点告知死亡风险。部分人员收受患儿家属财物合计约106万元，已退还或上交。
仇某某、杨某被开除，5年内取消承担或参与科技计划项目、评奖评优等资格，并记入科研诚信严重失信行为数据库。上海交通大学医学院、新华医院和松江区中心医院被约谈并责令整改，相关医疗机构受到行政处罚。
—— 新京报、澎湃新闻
Telegram创始人杜罗夫批评黄仁勋设立董事会
Telegram 创始人帕维尔·杜罗夫评论英伟达创始人黄仁勋离任风波，称黄仁勋犯了创业者常见的错误，即为公司设立董事会。他表示，自己在 2014 年因拒绝与间谍合作而被董事会解雇，黄仁勋则因同意与间谍合作而被董事会解雇，因此创始人不应设立董事会，应由自己掌控董事会。
英伟达公告称，黄仁勋已辞去总裁、首席执行官及董事职务，由首席财务官科莱特·克雷斯担任临时 CEO。公司此前曾就黄仁勋与一名被美国情报部门怀疑与中国情报机构有关联的商业人士的关系启动独立调查。杜罗夫的表述带有讽刺性质，将自己的 VK 遭遇与英伟达管理层变动并置。
—— Telegram、NVIDIA、The Asia Business Daily
Telegram 创始人帕维尔·杜罗夫评论英伟达创始人黄仁勋离任风波，称黄仁勋犯了创业者常见的错误，即为公司设立董事会。他表示，自己在 2014 年因拒绝与间谍合作而被董事会解雇，黄仁勋则因同意与间谍合作而被董事会解雇，因此创始人不应设立董事会，应由自己掌控董事会。
英伟达公告称，黄仁勋已辞去总裁、首席执行官及董事职务，由首席财务官科莱特·克雷斯担任临时 CEO。公司此前曾就黄仁勋与一名被美国情报部门怀疑与中国情报机构有关联的商业人士的关系启动独立调查。杜罗夫的表述带有讽刺性质，将自己的 VK 遭遇与英伟达管理层变动并置。
—— Telegram、NVIDIA、The Asia Business Daily
Claude.ai与Claude Code出现身份验证故障，Anthropic展开调查
Claude.ai、Claude Code 及 platform.claude.com 出现身份验证故障，部分用户无法登录、被要求重新验证，或无法启动 Claude Code 会话。Anthropic状态页将 Claude.ai 标记为重大故障，将 Claude Code 和控制台标记为部分故障，Claude API 未受影响。
故障仍处于调查阶段，具体原因、影响范围和恢复时间尚未公布。公开用户报告也显示，部分地区出现登录链接无法打开、会话被退出等问题。
—— Claude Status、Reddit
Claude.ai、Claude Code 及 platform.claude.com 出现身份验证故障，部分用户无法登录、被要求重新验证，或无法启动 Claude Code 会话。Anthropic状态页将 Claude.ai 标记为重大故障，将 Claude Code 和控制台标记为部分故障，Claude API 未受影响。
故障仍处于调查阶段，具体原因、影响范围和恢复时间尚未公布。公开用户报告也显示，部分地区出现登录链接无法打开、会话被退出等问题。
—— Claude Status、Reddit
Guido van Rossum宣布Python早期贡献者Tim Peters去世，享年74岁
Guido van Rossum在Python社区论坛宣布，Tim Peters已于2026年7月15日去世，享年74岁。Peters是Python早期贡献者，被认为是Python的第二位真实用户，长期参与语言设计和核心开发。
Peters编写了《Python之禅》及PEP 20，设计了后来被Java和Android采用的Timsort排序算法，并于2001年至2014年担任Python软件基金会董事。他还因长期耐心回答社区问题而被称为“Timbot”。
—— Discussions on Python.org、Python Software Foundation、LWN
Guido van Rossum在Python社区论坛宣布，Tim Peters已于2026年7月15日去世，享年74岁。Peters是Python早期贡献者，被认为是Python的第二位真实用户，长期参与语言设计和核心开发。
Peters编写了《Python之禅》及PEP 20，设计了后来被Java和Android采用的Timsort排序算法，并于2001年至2014年担任Python软件基金会董事。他还因长期耐心回答社区问题而被称为“Timbot”。
—— Discussions on Python.org、Python Software Foundation、LWN
微软 Outlook、Teams 与 Copilot 故障持续超过12小时
微软 Outlook、Teams 和 Copilot 在11月13日仍未完全恢复，全球企业与政府通信受到影响。微软将故障归因于服务器问题，称未发现恶意活动，并扩大修复范围，部分服务已出现回稳迹象。
澳大利亚、日本和美国部分政府机构受到影响，欧洲交易所 Euronext 的邮件通信受阻，台湾一家金融机构改用传真确认交易。此次事件是微软365在2026年的第二次大规模服务中断。
—— Microsoft、The Associated Press、The Jakarta Post
微软 Outlook、Teams 和 Copilot 在11月13日仍未完全恢复，全球企业与政府通信受到影响。微软将故障归因于服务器问题，称未发现恶意活动，并扩大修复范围，部分服务已出现回稳迹象。
澳大利亚、日本和美国部分政府机构受到影响，欧洲交易所 Euronext 的邮件通信受阻，台湾一家金融机构改用传真确认交易。此次事件是微软365在2026年的第二次大规模服务中断。
—— Microsoft、The Associated Press、The Jakarta Post
OpenAI推出ChatGPT Wallet，允许智能体在用户确认后完成支付
OpenAI推出ChatGPT Wallet，允许智能体在用户授权后代为购物或预订。用户需逐笔核对商户、商品、总金额和所用卡片，并通过 Face ID、Touch ID 或指纹验证后，智能体才能继续结账。
支付网络会为每笔交易生成替代真实卡号的支付令牌，包含独立的卡号、安全码和有效期，商户及智能体无法获得用户实际卡片信息。该服务通过 dots 向美国年满 18 岁的 ChatGPT Pro 用户逐步开放，要求使用符合条件的美国发行信用卡，目前合作网络包括 American Express、Mastercard 和 Visa。
—— OpenAI、OpenAI Help Center
OpenAI推出ChatGPT Wallet，允许智能体在用户授权后代为购物或预订。用户需逐笔核对商户、商品、总金额和所用卡片，并通过 Face ID、Touch ID 或指纹验证后，智能体才能继续结账。
支付网络会为每笔交易生成替代真实卡号的支付令牌，包含独立的卡号、安全码和有效期，商户及智能体无法获得用户实际卡片信息。该服务通过 dots 向美国年满 18 岁的 ChatGPT Pro 用户逐步开放，要求使用符合条件的美国发行信用卡，目前合作网络包括 American Express、Mastercard 和 Visa。
—— OpenAI、OpenAI Help Center
iPhone Duo连续折叠逾45万次后铰链出现松动
CNET对一部iPhone Duo进行连续三周的折叠耐久测试，累计折叠次数超过451,000次后，铰链开始显出磨损迹象。测试记录显示，约39万次折叠时铰链已感觉变松；到约440,300次时，手机在测试机再次合拢前无法完全展开，但仍可用手打开。测试期间，手机仍能运行并保持其他屏幕角度，屏幕没有出现裂纹或其他故障。CNET仍在继续测试，计划观察设备何时达到失效条件。苹果尚未公布iPhone Duo铰链测试结果或标称折叠寿命。
—— MacRumors
CNET对一部iPhone Duo进行连续三周的折叠耐久测试，累计折叠次数超过451,000次后，铰链开始显出磨损迹象。测试记录显示，约39万次折叠时铰链已感觉变松；到约440,300次时，手机在测试机再次合拢前无法完全展开，但仍可用手打开。测试期间，手机仍能运行并保持其他屏幕角度，屏幕没有出现裂纹或其他故障。CNET仍在继续测试，计划观察设备何时达到失效条件。苹果尚未公布iPhone Duo铰链测试结果或标称折叠寿命。
—— MacRumors
微软推出Xbox广告支持云游戏，观看3分钟广告可玩30分钟
微软介绍了Xbox广告支持云游戏方案。符合条件的玩家可在无需Game Pass订阅的情况下，通过云端游玩部分游戏；每次开始游戏前，需观看一段总时长为3分钟的广告，随后可获得30分钟游戏时段。广告在云游戏加载期间全屏播放，不能跳过，游戏开始后不会插播。该方案为玩家提供了一种可选的云游戏使用方式，也为广告商提供了在游戏开始前投放视频广告的渠道。微软未在相关介绍中列出适用地区及游戏范围。
—— Microsoft Advertising
微软介绍了Xbox广告支持云游戏方案。符合条件的玩家可在无需Game Pass订阅的情况下，通过云端游玩部分游戏；每次开始游戏前，需观看一段总时长为3分钟的广告，随后可获得30分钟游戏时段。广告在云游戏加载期间全屏播放，不能跳过，游戏开始后不会插播。该方案为玩家提供了一种可选的云游戏使用方式，也为广告商提供了在游戏开始前投放视频广告的渠道。微软未在相关介绍中列出适用地区及游戏范围。
—— Microsoft Advertising
微软将于2026年起逐步停用Word旧版兼容布局选项
微软计划从2026年12月起，在Word Windows桌面版中分阶段停用部分兼容模式选项，预计2027年1月前完成，Mac版则将在2027年初跟进。调整涉及使用兼容模式的旧文档，尤其是由Word 2010或更早版本创建或最后保存的文件。受影响文档可能出现文字重新流动、间距或页数变化，以及图片和形状移至其他页面等版式差异。微软表示，此次调整旨在简化文档布局处理，并让不同平台的体验更一致。若文档必须保持当前页面外观，可在变更前另存为PDF；组织也可检查重要旧模板和表单。
—— The Register、Microsoft Support、Microsoft 365 Message Center Archive
微软计划从2026年12月起，在Word Windows桌面版中分阶段停用部分兼容模式选项，预计2027年1月前完成，Mac版则将在2027年初跟进。调整涉及使用兼容模式的旧文档，尤其是由Word 2010或更早版本创建或最后保存的文件。受影响文档可能出现文字重新流动、间距或页数变化，以及图片和形状移至其他页面等版式差异。微软表示，此次调整旨在简化文档布局处理，并让不同平台的体验更一致。若文档必须保持当前页面外观，可在变更前另存为PDF；组织也可检查重要旧模板和表单。
—— The Register、Microsoft Support、Microsoft 365 Message Center Archive
Google将Google Wallet接入Gemini，提供个性化财务分析
Google于11月13日宣布，Gemini应用开始在美国推出Google Wallet连接功能，用户可让回答参考自己的消费记录。用户在Gemini中使用@Google Wallet，可查看支出图表、识别定期订阅及价格变动，并根据过往交易制定预算。用户还可选择通过Plaid将银行账户和信用卡账户连接到Google Wallet，以获取更多财务信息。该功能适用于Gemini网页、Android和iOS应用。连接由用户自行选择，可随时开启或关闭，Gemini仅能读取账户信息，不能转移、管理或投资用户资金。
—— Google、Plaid
Google于11月13日宣布，Gemini应用开始在美国推出Google Wallet连接功能，用户可让回答参考自己的消费记录。用户在Gemini中使用@Google Wallet，可查看支出图表、识别定期订阅及价格变动，并根据过往交易制定预算。用户还可选择通过Plaid将银行账户和信用卡账户连接到Google Wallet，以获取更多财务信息。该功能适用于Gemini网页、Android和iOS应用。连接由用户自行选择，可随时开启或关闭，Gemini仅能读取账户信息，不能转移、管理或投资用户资金。
—— Google、Plaid
研究人员披露Windows本地提权漏洞SignDrop
研究人员Nightmare Eclipse于11月披露名为SignDrop的Windows本地提权漏洞。该漏洞利用通用日志文件系统（CLFS）与Windows Defender处理签名更新时的交互，使已有普通用户权限的攻击者有机会取得SYSTEM权限。研究人员称其在Windows 11 26H2及部分实验版系统上复现，安全研究员Will Dormann也表示已复现，但指出并非所有Windows 11系统都受影响，系统版本和CLFS认证模式会影响结果。微软表示正在调查相关披露，目前没有证据显示该漏洞已在实际攻击中遭利用，并称Defender会阻止潜在利用尝试。
—— Ars Technica、GitHub、Microsoft Support
研究人员Nightmare Eclipse于11月披露名为SignDrop的Windows本地提权漏洞。该漏洞利用通用日志文件系统（CLFS）与Windows Defender处理签名更新时的交互，使已有普通用户权限的攻击者有机会取得SYSTEM权限。研究人员称其在Windows 11 26H2及部分实验版系统上复现，安全研究员Will Dormann也表示已复现，但指出并非所有Windows 11系统都受影响，系统版本和CLFS认证模式会影响结果。微软表示正在调查相关披露，目前没有证据显示该漏洞已在实际攻击中遭利用，并称Defender会阻止潜在利用尝试。
—— Ars Technica、GitHub、Microsoft Support
微软就全球服务中断致歉并称故障源于网络容量升级问题
微软于11月14日凌晨就全球服务中断向客户和合作伙伴致歉，并表示故障与网络攻击或人工智能、智能体无关。微软称，问题由较早一次网络容量升级引入，在近期网络变更后暴露，底层问题现已解决。
受影响服务已大范围恢复并趋于稳定，微软仍在逐步为部分客户和地区恢复服务，并在各阶段验证稳定性。公司表示，审查完成后将发布完整事后报告，目前尚未公布报告时间。此次中断此前影响了 Outlook、Exchange Online、Teams、OneDrive、SharePoint 等微软服务。
—— IT之家
微软于11月14日凌晨就全球服务中断向客户和合作伙伴致歉，并表示故障与网络攻击或人工智能、智能体无关。微软称，问题由较早一次网络容量升级引入，在近期网络变更后暴露，底层问题现已解决。
受影响服务已大范围恢复并趋于稳定，微软仍在逐步为部分客户和地区恢复服务，并在各阶段验证稳定性。公司表示，审查完成后将发布完整事后报告，目前尚未公布报告时间。此次中断此前影响了 Outlook、Exchange Online、Teams、OneDrive、SharePoint 等微软服务。
—— IT之家
SpaceXAI裁减约60名Grok Imagine员工并调整研发重心
SpaceXAI已裁撤旗下图像与视频生成工具Grok Imagine团队约60名成员，仅留少数员工维持产品运营。产品目前仍可访问，但专职研发人员大幅减少，后续开发安排尚不明朗。
SpaceXAI的资源重点转向AI编程工具和Grok Bot智能体。该公司于2026年8月推出Grok Bot，称其可在多种应用中执行持续性任务。此次人员调整发生在xAI与SpaceX合并后的内部重组期间。
—— IT之家、The Information、SpaceXAI
SpaceXAI已裁撤旗下图像与视频生成工具Grok Imagine团队约60名成员，仅留少数员工维持产品运营。产品目前仍可访问，但专职研发人员大幅减少，后续开发安排尚不明朗。
SpaceXAI的资源重点转向AI编程工具和Grok Bot智能体。该公司于2026年8月推出Grok Bot，称其可在多种应用中执行持续性任务。此次人员调整发生在xAI与SpaceX合并后的内部重组期间。
—— IT之家、The Information、SpaceXAI
OpenAI解散独立机器人团队并将成员并入研究与应用部门
OpenAI已解散独立机器人团队，将机器人研究人员并入核心研究团队，由首席研究官马克·陈负责；应用机器人与硬件团队则转入由总裁格雷格·布罗克曼负责的应用部门。公司表示，机器人仍是长期愿景的一部分，此次调整意在加快研发。
调整缘于通用前沿模型，包括 GPT-6 Astra，已显示可直接用于部分机器人任务。OpenAI目前仍在研发自有人形机器人，目标是在2027年首次公开演示。通用模型能否广泛承担机器人控制工作仍面临运行速度、网络连接和实际部署数据等挑战。
—— Fortune
OpenAI已解散独立机器人团队，将机器人研究人员并入核心研究团队，由首席研究官马克·陈负责；应用机器人与硬件团队则转入由总裁格雷格·布罗克曼负责的应用部门。公司表示，机器人仍是长期愿景的一部分，此次调整意在加快研发。
调整缘于通用前沿模型，包括 GPT-6 Astra，已显示可直接用于部分机器人任务。OpenAI目前仍在研发自有人形机器人，目标是在2027年首次公开演示。通用模型能否广泛承担机器人控制工作仍面临运行速度、网络连接和实际部署数据等挑战。
—— Fortune
DeepSeek开放应用能力API，支持搜索、文件解析及语音接口
DeepSeek于11月13日开放一套应用能力API，开发者可在现有接口中启用联网搜索、深度思考搜索、文件输入和链接阅读等功能。相关工具调用与上下文拼接由服务端处理，V4.1-Flash（deepseek-flash）在Messages、Responses和Chat Completions接口中支持这些能力。
搜索、网页抓取、OCR、语音识别和语音合成也可通过独立接口调用或组合使用。DeepSeek还提供了基于新版API构建的轻量前端示例，支持导入DeepSeek历史对话。
—— DeepSeek API 文档
DeepSeek于11月13日开放一套应用能力API，开发者可在现有接口中启用联网搜索、深度思考搜索、文件输入和链接阅读等功能。相关工具调用与上下文拼接由服务端处理，V4.1-Flash（deepseek-flash）在Messages、Responses和Chat Completions接口中支持这些能力。
搜索、网页抓取、OCR、语音识别和语音合成也可通过独立接口调用或组合使用。DeepSeek还提供了基于新版API构建的轻量前端示例，支持导入DeepSeek历史对话。
—— DeepSeek API 文档
Claude Code 桌面端支持通过 mods 创建自定义主题
Claude Code 桌面端现已支持通过 mods 构建自定义主题。用户可以直接描述希望的界面效果，让 Claude 生成或修改主题，也可安装 theme-examples 插件快速开始。主题能够调整配色，并为界面加入动态背景等视觉元素。
Mods 以插件形式运行，除改变外观外，还能添加界面组件或替换部分内置功能。Anthropic 提醒，mods 以与 Claude Code 相同的机器权限运行且不在沙箱内，安装第三方主题时需要确认来源可信。
—— Claude by Anthropic、Claude Code Docs
Claude Code 桌面端现已支持通过 mods 构建自定义主题。用户可以直接描述希望的界面效果，让 Claude 生成或修改主题，也可安装 theme-examples 插件快速开始。主题能够调整配色，并为界面加入动态背景等视觉元素。
Mods 以插件形式运行，除改变外观外，还能添加界面组件或替换部分内置功能。Anthropic 提醒，mods 以与 Claude Code 相同的机器权限运行且不在沙箱内，安装第三方主题时需要确认来源可信。
—— Claude by Anthropic、Claude Code Docs
Anthropic IPO排除中国内地及香港投资者，认购需求达可售股份约6倍
Anthropic首次公开募股的承销渠道不接受中国内地及香港投资者下单，相关限制涉及美国《国际武器贸易条例》(ITAR)的出口管制要求。部分潜在投资者正通过英属维尔京群岛信托、特殊目的载体和掉期交易寻求间接参与，认购需求约为可售股份的6倍。
Anthropic计划以最高约1.4万亿美元估值，通过IPO及同步私募募资至多904亿美元。发行定价日为11月18日，预计次日在纳斯达克上市，股票代码为ANT。高盛和摩根士丹利担任牵头承销商。最终发行规模、定价和投资者资格安排仍可能调整。
—— 美国证券交易委员会、Yahoo Finance
Anthropic首次公开募股的承销渠道不接受中国内地及香港投资者下单，相关限制涉及美国《国际武器贸易条例》(ITAR)的出口管制要求。部分潜在投资者正通过英属维尔京群岛信托、特殊目的载体和掉期交易寻求间接参与，认购需求约为可售股份的6倍。
Anthropic计划以最高约1.4万亿美元估值，通过IPO及同步私募募资至多904亿美元。发行定价日为11月18日，预计次日在纳斯达克上市，股票代码为ANT。高盛和摩根士丹利担任牵头承销商。最终发行规模、定价和投资者资格安排仍可能调整。
—— 美国证券交易委员会、Yahoo Finance
Cloudflare 开源 AI 智能体浏览器 Kitesurf
Cloudflare 于 2026 年 11 月 13 日宣布，将面向 AI 智能体的浏览器 Kitesurf 以 Apache 2.0 许可证开源。Kitesurf 完全运行在 Cloudflare Workers 上，可解析 HTML、应用 CSS、执行网页 JavaScript 并生成截图，无需浏览器容器，并支持 Chrome DevTools Protocol，兼容 Puppeteer 等客户端。开发者可本地运行、修改并部署到自己的 Cloudflare 账户。
Cloudflare 称，在截图和提取 HTML 等常见智能体任务中，Kitesurf 的 CPU 和内存消耗比 Chromium 低 3 至 7 倍。该项目仍处于实验阶段，网页标准支持、渲染保真度和性能仍在开发改进中。
—— Cloudflare Blog、Cloudflare Developers Changelog
Cloudflare 于 2026 年 11 月 13 日宣布，将面向 AI 智能体的浏览器 Kitesurf 以 Apache 2.0 许可证开源。Kitesurf 完全运行在 Cloudflare Workers 上，可解析 HTML、应用 CSS、执行网页 JavaScript 并生成截图，无需浏览器容器，并支持 Chrome DevTools Protocol，兼容 Puppeteer 等客户端。开发者可本地运行、修改并部署到自己的 Cloudflare 账户。
Cloudflare 称，在截图和提取 HTML 等常见智能体任务中，Kitesurf 的 CPU 和内存消耗比 Chromium 低 3 至 7 倍。该项目仍处于实验阶段，网页标准支持、渲染保真度和性能仍在开发改进中。
—— Cloudflare Blog、Cloudflare Developers Changelog
DeepSeek前端代码加入额度管理逻辑，官方未公布订阅计划
2026年11月14日，有开发者在DeepSeek网页前端代码中发现额度耗尽提示及相应错误处理逻辑。页面可见时，代码每5分钟同步各模型额度、禁言状态和服务端文案；额度耗尽时会显示提示，并支持额度恢复通知。相关代码指向名为“Coding Plan”的套餐。有网友据此推测，DeepSeek可能在V4.1 Pro上线时推出面向个人用户的付费方案，但官方尚未公布订阅价格、档位或上线日期。此前DeepSeek面向个人用户的直接收费入口为按Token计费的开放平台API。
—— IT之家
2026年11月14日，有开发者在DeepSeek网页前端代码中发现额度耗尽提示及相应错误处理逻辑。页面可见时，代码每5分钟同步各模型额度、禁言状态和服务端文案；额度耗尽时会显示提示，并支持额度恢复通知。相关代码指向名为“Coding Plan”的套餐。有网友据此推测，DeepSeek可能在V4.1 Pro上线时推出面向个人用户的付费方案，但官方尚未公布订阅价格、档位或上线日期。此前DeepSeek面向个人用户的直接收费入口为按Token计费的开放平台API。
—— IT之家
谷歌开放 Teamwork 多智能体工具并公布数学研究成果
谷歌宣布，Antigravity 的 Teamwork 多智能体工具及 /boost、Deep Review 已向外部研究人员和开发者开放。谷歌研究团队与学术机构合作，使用 Gemini 模型和 Teamwork 完成多项数学与计算机科学研究，包括完整证明信息论中的 Courtade–Kumar 猜想，并将证明形式化为 Lean 4 代码，由计算机逐步检查。相关论文由研究人员核验、简化和编辑；谷歌称，该系统通过并行探索及独立验证智能体处理长链条推理任务。
—— Google Research
谷歌宣布，Antigravity 的 Teamwork 多智能体工具及 /boost、Deep Review 已向外部研究人员和开发者开放。谷歌研究团队与学术机构合作，使用 Gemini 模型和 Teamwork 完成多项数学与计算机科学研究，包括完整证明信息论中的 Courtade–Kumar 猜想，并将证明形式化为 Lean 4 代码，由计算机逐步检查。相关论文由研究人员核验、简化和编辑；谷歌称，该系统通过并行探索及独立验证智能体处理长链条推理任务。
—— Google Research