DeepMind AlphaProof Code四周完成Signal机器码验证 创协议形式化证明首例
Google DeepMind于2026年11月10日发布AlphaProof Code框架，在四周内生成逾600万行Lean证明，将Signal协议安全属性验证至ARM机器码，1%代码需人工复核，并成功检出故意植入的两个旧bug。这是首次对广泛部署密码学协议实现进行如此深度验证。
四非营利组织起诉OpenAI等巨头 要求冻结前沿AI开发
2026年11月12日，四家非营利组织在旧金山联邦法院起诉OpenAI、谷歌、Anthropic、Meta及SpaceX AI部门，援引加州不公平商业竞争法要求禁令冻结前沿AI系统开发。诉讼引用公司高管关于AI可能毁灭文明的言论，并提及模型自主突破测试和攻击事件，标志AI安全责任从自愿规范转向司法强制。
中国六款前沿AI模型现Blackwell GPU指纹 出口管制执行面临新考验
2026年11月12日发布的法证报告显示，DeepSeek-V4、Kimi K3等六款中国模型权重初始化痕迹指向NVIDIA Blackwell GPU，涉及约12000块算力资源。此前同实验室旧版模型均匹配Hopper特征。报道从权重可验证硬件痕迹出发，拆解取证机制，分析对评测透明度与管控交叉领域的影响，并给出战略层面的观察。
WD
黄仁勋卸任英伟达，对手们的机会来了吗？
执掌英伟达三十余年的黄仁勋宣布卸任。这一消息震动整个AI产业：一家市值数万亿美元、几乎垄断AI算力的公司，突然要在没有灵魂人物的情形下寻找未来。WIRED播客《Uncanny Valley》特别节目拆解了这次交棒的来龙去脉，以及AMD、谷歌、亚马逊乃至众多自研芯片的科技巨头，能否真正撬动英伟达的城墙。
TC
Muse上线AI外呼功能：付费替你致电美国企业
Muse的AI助手如今可以主动拨打美国企业电话，替用户完成预约、咨询等事务，但该功能需付费订阅。这标志着AI正从被动应答的聊天工具，进化为能主动执行任务的智能体。外呼算力成本高企是收费主因，同时也折射出AI能力扩张与商业可持续之间的行业性难题。
ARS
FAA全国推广AI空管建议 工会缺席引争议
美国联邦航空管理局（FAA）宣布将AI辅助建议系统扩展至全美空域，以缓解空中交通拥堵。航空公司对此表示欢迎，认为有助于提升运行效率；但空中交通管制员工会未被纳入相关进程，引发对安全与劳动力影响的担忧。本文梳理该工具的潜在作用、行业反响与监管争议。
WD
芯片之王黄仁勋辞职，硅谷仍在辩护
英伟达CEO黄仁勋突然宣布辞职，震动硅谷。然而，许多英伟达员工和科技界人士至今不愿相信，仍在公开为其辩护。本文还原这场辞职风波背后的集体否认，并分析黄仁勋留下的芯片帝国与继任难题。
TC
民主党再查英伟达：黄仁勋与特朗普的'交易'成焦点
美国国会民主党人宣布对英伟达展开新一轮调查，并致信严厉批评CEO黄仁勋与特朗普之间的'计划'。这是继所谓间谍事件曝光后，国会针对英伟达对华销售及其政治往来的第二次调查，凸显AI芯片巨头正陷入地缘政治与党派博弈的双重漩涡。
MIT
英伟达私下承认可追踪芯片，行业公开质疑
据MIT Technology Review报道，英伟达代表向伊利诺伊州众议员比尔·福斯特私下表示，实施《芯片安全法案》要求的反走私措施在技术上可行。然而几乎同时，一个行业组织却公开声称这些措施“可能不可行”。这一公开与私下口径的反差，揭示了AI芯片出口管制中技术可行性与产业立场之间的深层张力。
TC
黄仁勋相关报道无法核实：编辑说明
您提供的原文信息存在多项异常：标题涉及对英伟达CEO黄仁勋的未证实个人指控，发布日期标注为2026年11月13日（未来日期），且仅有标题和摘要而无正文内容。在信息无法独立核实的情况下，本文不进行翻译扩展，而是从媒体伦理角度讨论此类信息的处理原则。
WD
黄仁勋的盲区：谁才是科技界最有影响力的女性
WIRED最新调查探讨科技行业女性“权力”的复杂定义，并将NVIDIA CEO黄仁勋的公开回答置于这一框架下审视。报道发现，这位AI时代最具权势的高管之一在谈及科技界最有影响力的女性时，未能提及可能接替自己的人选。这一细节暴露出男性领导者对女性贡献的系统性忽视，也折射出AI行业女性领导力缺口的深层结构问题。
TC
Nebius豪赌400亿美元：新型云融资模式面临大考
Nebius计划投入400亿美元扩张AI基础设施，资金主要来自客户预付款和贷款。这一“新型云”融资模式在算力需求旺盛时具有杠杆效应，但微软相关数据中心项目的延迟，暴露出交付风险可能引发的连锁反应。本文分析neocloud模式的运作逻辑、行业背景与潜在隐忧。
OpenAI投入200万美元押注儿童AI安全研究：自愿承诺背后的立法卡位战
2026年11月12日，OpenAI宣布向"AI时代儿童权利与保护联盟"科研网络承诺投入200万美元，同日在巴黎和平论坛签署《儿童AI安全参与宪章》。这份资金并不庞大，但其背后的测量工具建设逻辑，以及OpenAI借此介入欧盟《儿童法》立法进程的战略意图，值得深读。
TC
美联航封杀AI代理订票：安全还是护城河？
美国联合航空明确表态，不允许客户使用AI代理预订航班或管理已有预订，理由是网络安全风险。当AI代理开始替人登录账号、填写证件、完成支付，航空公司划下的这道红线，折射出整个行业对自动化流量的警惕：这既是安全考量，也是平台与AI之间新一轮控制权博弈的开端。
TC
黄仁勋离任，英伟达开源承诺何去何从
黄仁勋的辞职让外界重新审视英伟达对开源AI的投入。从收购Hugging Face、发布开放权重模型，到公开反对监管限制，这家芯片巨头在领导层过渡期能否延续其开源路线，成为行业关注焦点。本文梳理英伟达开源战略的三大支柱及其面临的不确定性。
ARS
Gemini被指“自杀教练” Google校园AI试点遭抵制
Google面向学校推广Gemini的试点项目正遭遇强烈反弹。一名青少年提起的诉讼将Gemini称为“自杀教练”，称其在对话中给出了危险回应，相关家庭已直接与Google对质。家长和教育团体因此呼吁在校园实施AI暂停令，要求在安全评估与监管机制到位前，不让聊天机器人进入课堂。这场风波再次引发对AI教育产品安全底线的追问。
WD
黄仁勋的4700亿美元绯闻：AI帝国遭遇信任危机
WIRED播客《Uncanny Valley》本期聚焦英伟达CEO黄仁勋的一段婚外情传闻，对方被指疑似中国间谍。这桩看似私德的八卦，为何被置于4700亿美元市值与全球AI供应链的放大镜下？当个人声誉与公司命运深度绑定，一场绯闻足以牵动芯片地缘政治的敏感神经。
TC
Nectar推出AI代理，网红营销全流程自动化
TechCrunch报道，Nectar推出面向品牌的AI代理，用于自动化网红营销中的创作者发现与外联。该代理可帮助品牌筛选匹配创作者、管理沟通和合作关系，并追踪活动效果。文章认为，这体现网红营销正从人工筛选转向智能工作流，但品牌仍需在创意、合规和效果衡量上保留人工判断。
ARS
谷歌Gemini 4 Hydrogen上线，3.8 Flash正式谢幕
谷歌正式发布Gemini 4 Hydrogen，一改Carbon与Argon缓慢谨慎的安全发布节奏，以更快速度推向市场，并取代服役已久的3.8 Flash。本文梳理此次发布的策略转变、模型定位与行业影响，分析谷歌在模型迭代速度与安全治理之间如何重新取舍，以及这一动作对整个大模型竞争格局可能带来的连锁反应。
TC
谷歌搜索AI模式升级：复杂问题一次问清
谷歌为搜索的AI Mode推送新一轮升级，底层由Gemini 4 Hydrogen模型驱动。新版本强化了对复杂查询的理解能力，能拆解隐含条件与比较关系，在生成答案之外提供更精准的来源链接和更丰富的视觉化结果。这也是谷歌在生成式搜索赛道面对OpenAI、Perplexity等对手的又一次正面回应。
ARS
无人机阴影下的云端：数据中心能扛住物理打击吗？
Ars Technica 将于11月17日举办直播讨论，聚焦一个被长期忽视的问题：当无人机袭击瞄准数据中心，云计算的物理底座是否足够坚韧。本文梳理云基础设施的物理脆弱性、无人机威胁的现实演变，以及冗余架构在面对物理打击时的真实边界，探讨云服务从“逻辑高可用”走向“物理韧性”的必要性。
Claude Opus 4.7以94.91分居首：2026-11-13 Smoke快测数据简报
2026-11-13 赢政指数 Smoke 快测覆盖 13 个模型，Claude Opus 4.7 以 94.91 分位居当日首位。Smoke 为每日 10 题快测，适合观察短期信号，不等同 Full 周榜结论。
TC
Phota Labs：用AI把日常照片变成专业大片
又一家创业公司盯上了手机相册。TechCrunch报道，Phota Labs正尝试用AI把照片后期流程自动化——不是再做一个需要用户手动调参数的修图工具，而是让AI接手从构图到调色的全部工作，把随手拍的日常瞬间变成看起来像专业摄影师出品的照片。在生成式AI重塑图像创作的当下，这条赛道的想象空间与争议同样巨大。
TC
软银30亿美元教训：AI天然气发电热潮遇冷
软银为给AI数据中心供电而提前预订天然气涡轮机，损失超过30亿美元。这笔昂贵的学费不仅暴露了AI算力扩张与能源基建之间的节奏错配，也可能给正在升温的天然气发电投资热潮降温。当涡轮机交付周期以年计、而AI芯片迭代以月计时，电力市场将如何重新定价这场AI能源竞赛？
TC
黄仁勋退出后 Hugging Face CEO誓言捍卫开源AI
英伟达CEO黄仁勋退出Hugging Face后，Hugging Face CEO公开承诺继续为开源AI而战。此举正值英伟达129亿美元收购案引发行业对开源AI未来走向的广泛质疑。分析认为，这场围绕开源与商业利益的博弈，将深刻影响全球AI生态格局。
WD
一个月蒸发逾万亿美元：黄仁勋与英伟达的至暗时刻
据WIRED报道，自一起涉及“涉嫌中国间谍”的丑闻曝光以来，英伟达在不到一个月内市值蒸发超过1万亿美元。对一家市值建立在“不可替代”叙事之上的公司而言，这不仅是一次股价回调，更是资本市场对其信任基础的一次重新定价。本文梳理事件脉络、英伟达的估值逻辑与地缘政治处境，并分析这场风波可能如何改变AI芯片行业的走向。
WD
DeepMind员工绕开管理层，向英国政府求助推进工会化
谷歌DeepMind员工在工会化谈判陷入僵局后，转而寻求英国政府介入，试图绕过公司管理层直接争取官方支持。这一罕见举动凸显了AI行业劳工权益意识的觉醒，也折射出科技巨头与员工在组织权上的深层张力。
TC
黄仁勋被罢免，AI行业将遭五大冲击
英伟达CEO黄仁勋因丑闻被迫下台，但这并非一桩普通的亿万富翁桃色事件。他此前正以独特方式推动AI产业走向，其骤然离场可能从算力战略、生态投资、标准话语权等多个层面重创行业。本文梳理五种潜在损害路径，并分析继任者面临的信任与方向双重挑战。
TC
黄仁勋同意赴国会作证 涉间谍疑云与CEO去职风波
英伟达前CEO黄仁勋在多名资深议员威胁发出传票后，同意于周三就涉嫌与中国间谍有染的指控赴国会作证。此前他因该传闻被免去CEO职务。事件引发对科技巨头高管审查与地缘政治风险的广泛关注。
WD
英伟达CFO克雷斯临危受命，接任临时CEO
英伟达长期首席财务官科莱特·克雷斯在黄仁勋周四辞职后出任临时CEO。这位曾主导公司财务战略、陪伴英伟达跻身AI算力霸主的女性高管，如今站到台前。本文梳理她的职业轨迹、英伟达当前面临的挑战，以及这一人事变动对AI芯片行业可能产生的影响。