赢政资讯 — AI 行业深度报道与全球精选

Signal加密通过AI数学验证，形式化验证迎来拐点

Signal的端到端加密协议完成了一项为期四周的AI辅助形式化验证，用数学方法检验其核心加密逻辑的正确性。这项实验的意义不止于Signal本身：它显示AI有望大幅降低形式化验证的门槛与成本，让这种过去只有少数专家才能驾驭的“数学体检”逐步走向工程实践。

美中峰会达成AI事故直通频道，军事危机协议搁置成最大隐患

2026年9月26日，特朗普与习近平华盛顿峰会后，美中宣布建立AI事故直通频道，并约定11月举行AI风险技术对话、上线前互换模型评测规范、在重大决策中"保留人类判断"。但频道触发标准、响应时效等运作细节至今未公开，军事AI危机协议谈判被明确搁置，"热线已通、枪无保险栓"的结构性风险依然存在。

Anthropic IPO首日上线办公套件，微软股价当日跌2.2%

2026年11月10日，Anthropic在启动IPO路演的同一天推出Claude Sheets、Claude Whiteboards和Claude Data三款办公产品测试版，直接对标微软365和谷歌Workspace。消息一出，微软盘中跌超3%，收盘跌幅收窄至2.2%。与此同时，微软也是Anthropic IPO的战略锚定投资方之一，承诺认购260亿美元份额。这是一起教科书式的"投资人即竞争对

WD

13岁女孩向Gemini问自杀，学校监控数周未察觉

美国一名13岁女孩被指利用学校配发的Chromebook，通过谷歌Gemini规划自杀。令人震惊的是，学校部署的监控系统在数周内未能识别这一高危行为，直到情况几乎不可挽回才被发现。这起事件再次将AI聊天机器人的青少年保护机制、学校数字监控的有效性以及科技公司的安全责任推向风口浪尖。

TC

英伟达治理危机：专家搬好爆米花看戏

英伟达正遭遇一场罕见的公司治理危机，连见多识广的治理专家都表示“从未见过这样的局面”。从董事会独立性到高管薪酬，从关联交易到信息披露，这场风暴不仅考验英伟达自身，也可能重塑科技巨头与资本市场之间的信任规则。本文编译自TechCrunch，梳理事件脉络并分析背后深层信号。

韩国DeepX完成三星2nm芯片流片：5瓦功耗推理100B参数，边缘AI迎来瓦级拐点？

韩国AI芯片公司DeepX于2026年11月10日宣布，第二代推理芯片DX-M2已完成流片，采用三星2nm GAA工艺，设计目标是在约5瓦功耗下运行100B参数大模型及视觉语言模型，同日斩获CES 2027 AI类创新奖。首批硅片预计2027年3月到厂，Q2开始客户送样。若实测规格达标，这将是工业与机器人场景中边缘大模型推理能效的关键节点。

李飞飞携Atlas亮相CoRL机器人大会，AMD的82亿美元究竟押注了什么

2026年11月11日，李飞飞在奥斯汀机器人学习大会（CoRL 2026）发表主题演讲，正式展示Atlas世界模型，并与AMD CEO苏姿丰完成收购后首次公开同台。Atlas被定义为统一像素生成与三维场景重建的自回归帧生成模型，核心价值在于为机器人训练提供合成环境。AMD以82亿美元全股票收购World Labs的交易目前仍待监管审批，据AMD 11月4日的10-Q文件，李飞飞的执行副总裁兼首席科

Glasswing七个月审计：Anthropic漏洞扫描精度承诺与实测差距显著

VulnCheck七个月跟踪显示，Anthropic Project Glasswing报告37966条发现，仅217个修复，442个CVE中仅2个被实际利用。curl等维护者拒绝55.9%报告，凸显AI工具精度宣传与第三方验证间的落差。报告指出大量重复与撤回发现，实质将分类负担转嫁给资源有限的开源社区。

ARS

亚马逊推AI安防无人机与机器人，Ring摄像头“动”起来

亚马逊旗下Ring不再满足于固定在墙面上的摄像头。公司正式发布由AI驱动的安防无人机与地面巡逻机器人，并成立Ring Robotics品牌，首批设备将于2026年底至2027年初分阶段上市。这意味着家庭安防从“被动录像”走向“主动巡逻”，也把隐私、空域监管与订阅变现等老问题重新推到台前。

TC

Anthropic七位联创IPO各套现2.5亿美元

据TechCrunch报道，人工智能公司Anthropic的七位联合创始人计划在IPO中各自出售完全相同数量的股票。按发行价区间中值计算，每人套现约2.5亿美元，七人合计约17.5亿美元。尽管进行大规模减持，创始团队仍将保持对公司的控制权，凸显了头部AI公司估值飙升下的巨额财富效应与治理平衡策略。

ARS

当AI成为数学神谕，人类直觉何去何从

康奈尔大学数学家史蒂文·斯特罗加茨在新书《Big Math》中探讨AI对数学的冲击。当AI成为能瞬间给出答案却难以解释过程的神谕，这门以证明与理解为核心的学科将面临怎样的认识论挑战？本文从AlphaProof等前沿进展出发，分析AI如何改变数学研究、证明验证与人类直觉的角色，并追问：当答案唾手可得，我们还想理解什么。

TC

纽约AI安全法生效，大模型巨头面临强监管

纽约州开始执行其范围广泛的AI安全法，要求OpenAI、Anthropic等主要AI开发者完成登记、公开安全实践，并在发生关键事件时上报，违规将面临罚款。这部法律把“登记—披露—上报”的组合拳落到前沿模型身上，也把美国州层面的AI监管推向新阶段，企业合规成本与联邦—州监管博弈随之升温。

TC

OpenAI收购Odessia，AI旅游布局浮出水面

TechCrunch报道，OpenAI已收购由Sonder创始人Francis Davidson创办的旅游初创公司Odessia，但未公布具体旅游业务计划。Davidson是旅游行业知名创业者，此次收购被解读为OpenAI将AI能力延伸至旅行场景的关键一步。本文梳理交易背景、创始人履历与行业影响。

ARS

Grok Build编码代理泄露大量机密，部分属于SpaceX

安全研究员发现约3.5万个Grok Build应用对公众完全开放，导致大量机密信息外泄，其中部分数据归属SpaceX。这一事件再度将AI编码代理的权限管理与部署配置问题推上风口浪尖，也让人质疑：当AI工具深度嵌入企业开发流程，安全边界究竟由谁来守？

Google发布Gemini Robotics 2.5：96%工厂成功率背后，4%的真实挑战

Google DeepMind于2026年11月10日发布Gemini Robotics 2.5视觉-语言-动作模型，在奔驰工厂的零件套件分拣试验中达到96%成功率，较前代基线提升30%至100%。双模型架构将推理与动作分离，安全性同步大幅提升。但通用API尚未开放，大规模商业落地时间线仍未明确。

Anthropic正式启动IPO路演：825亿股定价70-78美元，PBC架构埋下治理隐患

Anthropic于2026年11月10日正式启动IPO路演，拟在纳斯达克以每股70至78美元发行8.25亿股A类普通股，完全摊薄估值最高达1.4万亿美元。作为公众受益公司（PBC），Anthropic的上市结构在资本回报与AI安全使命之间埋下深层矛盾：公开股东无法独立选举董事，创始人通过F类股掌握50.1%投票权。这场上市不只是一次融资，更是AI行业从实验室迈向公众资本市场的里程碑式考验。

Research Lab

WDCD Run #422: Average Instruction Decay Hits -66.7% as Claude Sonnet 4.6 Leads 15-Model Field

WDCD Run #422 (2026-11-11) evaluated 15 large language models across three rounds of multi-turn commitment testing, recording an average instruction decay of -66.7% between Round 1 and Round 3. Claude Sonnet 4.6 took the top spot with 93.9 points, followed by Gemini 3.1 Pro and GPT-6 Sol.

WDCD周期：GPT-6 Astra跌20.3分 6模型下滑仅Sonnet逆涨

本期WDCD v3.1数据显示，15模型中6家下降、仅1家上升。Claude Sonnet 4.6升至93.93分，GPT-6 Astra暴跌20.3分，GLM-4.6跌13.5分，GPT-o3跌12.2分，凸显多轮施压下约束生存差异。

安全合规最低1.7分崩盘，Claude-Sonnet四场景4分碾压

WDCD v3.1测试显示，安全合规场景垫底分仅1.7/4（doubao-pro），成为全体模型最难守约场景；数据边界与安全合规区分度最大，差距达2.3分；Claude-sonnet-4.6在四个场景拿下4/4或3.95/4，资源限制却仅2.8/4，暴露明显偏科。

R1确认率87%后R3仍崩2次 WDCD锚点题揭两模型零轮全败

v2锚点题显示15模型R1平均确认0.87、R2抵抗0.73、R3诚信76.7%，仅2/150次R3完全崩溃。GLM-4.6与Qwen3 Max三轮全0分，其余模型多数维持高分。分析聚焦数据边界场景下的逐轮崩盘机制与企业选型含义。

Claude Sonnet 4.6 93.93分登顶 WDCD守约榜豆包Pro 59.78分垫底

Claude Sonnet 4.6以93.93分位居WDCD守约排行榜首位，豆包Pro以59.78分垫底，头部与尾部相差34.15分，R3崩溃率仅1.3%。

TC

ChatGPT上线商业资料，要抢Google的生意？

OpenAI为ChatGPT推出全新商业资料功能，企业可在对话中展示自身信息，使ChatGPT进一步演变为消费者发现引擎。本文梳理该功能的核心逻辑、与Google搜索的竞合关系，以及对商家、内容生态和AI搜索商业化的潜在影响。

TC

PSI用AI破解量子计算二十年难题，想把科学发现做成生意

AI初创公司PSI借助Anthropic尚未公开发布的大模型，解决了一个困扰量子计算领域近二十年的基础性问题。这家公司正试图把“AI驱动科学发现”从实验室里的惊艳演示，变成一门可持续的生意。在AI for Science赛道持续升温的当下，PSI的尝试既展现了前沿模型在基础科研中的潜力，也暴露出模型依赖、科学验证与商业落地等多重考验。

TC

Oura 6.25亿美元收购AI医疗公司，IPO推迟后的新赌注

智能戒指厂商 Oura 宣布以 6.25 亿美元收购 AI 原生初级保健初创公司 Counsel Health。交易发生在 Oura 无限期推迟最高 22 亿美元 IPO 仅数周后，被视为其从健康监测向医疗服务延伸的关键一步。本文梳理交易背景、双方业务与数字健康行业趋势，并分析这笔收购对 Oura 的意义与挑战。