🤖 AI科技早报 | 2026年11月15日

# 🤖 AI科技早报 | 2026-11-15

📌 头条速览

1. Gemini 4 + 多智能体证完一桩悬了13年的数学猜想，5000万行证明由内核逐行验收：Google Research 于11月13日发布报告，研究人员用 Gemini 4 系列模型与 Antigravity 中的多智能体功能 /teamwork，联合香港中文大学、南加州大学、卡内基梅隆大学，完成了2013年提出的信息论难题 Courtade–Kumar 猜想的一般性证明——先由 Google 一侧找到旧广义版本的反例，港中文提出新候选函数并把问题归约为14个变量优化、给出关键解析下界，随后 Gemini 4 Argon 及更早模型切分参数空间、在无人工介入下把证明从平衡函数扩展到非平衡函数。整份证明最终在 Lean 4 中形式化，产出5000万行代码，由计算机内核逐行检查。同一份报告里还有：与 Google Cloud AI 合作的 LEAP 框架把 Weil 猜想做成机器校验形式化（约180万行 Lean、28,800次子智能体调用）、回答量子计算2014年悬题、把 Zircon 微内核剩余 C++ 代码改写为约80万行安全 Rust 并通过全部内核单测。值得抄的不是”模型说它证明了”，而是”机器检查通过了”。
2. 英伟达换帅余波扩散：市值跌破4万亿美元、员工联名请愿、美国国会要人：黄仁勋11月12日辞任后，事件持续发酵。据智东西报道，员工与合作伙伴联名请愿要求恢复其CEO职位，帖内评论超1600条（不同来源统计的请愿人数在2万至6万之间）；财联社数据显示英伟达本周股价下跌13%，为连续第六周下跌，本周市值蒸发逾5730亿美元，市值自2025年7月以来首次跌破4万亿美元。政治层面，美参议院银行委员会主席 Tim Scott 要求黄仁勋与商务部长 Howard Lutnick 于12月3日公开作证，拒绝出席则发传票，议题为先进芯片对华出口审查；众议院三个委员会约在12月1日至2日。海外业务暂稳：韩国科技部称英伟达重申将向韩国供应26万颗先进GPU并继续联合项目。

🔬 AI与大模型

1. OpenAI 撤销独立机器人团队，硬件人员并入应用部门：据外媒11月14日报道，OpenAI 已确认撤销独立机器人团队，机器人研究人员并入核心研究团队，应用机器人及硬件团队转入应用部门；公司称机器人仍是长期愿景，此次调整意在加快研发。多位具身智能从业者认为，通用大模型在机器人控制任务上的进展，正在重新划分”哪些任务交给通用模型、哪些仍需专门训练”。
2. 清华发布单细胞蛋白组基础模型 ProtCell，国产算力完成全流程预训练复现（11月14日）：清华大学自动化系江瑞课题组发布面向单细胞蛋白组的基础模型 ProtCell，并在国产 AI 训推一体智算卡上完成全流程预训练复现，主要定量评测指标与国际主流 GPU 平台差异约0.2%。AI for Science 的”国产算力可复现”是容易被低估的信号，它决定科研级 AI 能否在国内规模化落地。
3. “史上最严”湿实验预测基准 SPU 发布：最强模型仍差一段距离（量子位，11月14日）：斯坦福、哈佛、康奈尔等十余家团队联合发布 Science Prediction Universe，含116个任务、4207个湿实验，覆盖化学、材料、生物、医学；AI 需在8小时工作制下自主调用检索与计算资源形成实验预测。即便是 Opus 5.5、GPT-6 Astra 这类模型，距离真正完成预测仍有明显差距——AI 科研能力第一次被放到真实湿实验的尺度上称重。

💡 产品与应用

1. 华为云 MaaS 今日上线 openPangu-2.1-Pro，主攻 ArkTS 与昇腾算子开发（11月15日）：华为云模型即服务平台正式更新上线 openPangu-2.1-Pro 旗舰模型，重点提升 ArkTS 语言在鸿蒙原生应用开发中的代码生成质量，并深度契合昇腾算子开发流程，官方称可显著降低算子开发门槛。同步接入的产品包括华为云智能体平台 AgentArts、码道 CodeArts 与果办 OfficeAce。此前11月6日停售的 openPangu-2.0-Flash/Pro 将于11月30日下线。这轮升级的着力点不在通用榜单，而在”鸿蒙+昇腾”的自有闭环，衡量指标应是 ArkTS 编译通过率与算子调优时间。
2. DeepSeek 开放”全家桶”应用 API，可1:1复刻完整 App 体验（11月14日）：DeepSeek 把 App 内的联网搜索、深度思考、PDF 与 Office 文件输入、链接阅读、语音交互等能力整体 API 化，开发者在原有 API 开启参数即可获得，工具调用与上下文拼接由服务端自动完成；计费分 Token 与工具调用两笔，搜索与网页抓取5元/千次、语音识别0.39元/小时（可选5折），并开源一份轻量前端 Demo。
3. ChatGPT 钱包上线：给智能体发一张”替身卡”，每笔需人脸或指纹（11月13日）：OpenAI 联合美国运通、万事达、Visa 为智能体开放银行卡支付——用户绑一次卡，支付网络签发有独立卡号与有效期的替代令牌，智能体与商户都看不到真实卡号，每笔购买都需生物识别确认，系统留下”这个智能体被授权买过什么”的记录。目前仅对美国18岁以上 Pro 用户开放，暂不抽成。风险数字同样值得记住：Visa 在11月让22个模型扮演购物者做测试，失败率达42.8%——令牌解决了凭证复用，没解决判断力不够。

🏢 行业动态

1. 亚马逊被曝建”世界商品图谱”，内部文件承认自家购物助手”很多答案是错的”（路透社，11月13日）：亚马逊计划编制一份覆盖互联网几乎所有在售商品的数据库 World Product Graph，包括自己不卖的商品，数据一半靠品牌与零售商直供、一半靠抓取竞对网站，并计划在自家站点呈现，文件给出的时间点是2027年10月1日。内部文件写明，如果顾客必须离开亚马逊去 Google、品牌官网和评测站研究商品关系，亚马逊就”无法成为每一种购物需求的去处”；同时承认用于提升 Alexa for Shopping（原 Rufus）的数据是为让答案更准、且能跑在更便宜的模型上，”很多 Rufus 的回答事实上是错误或不完整的”。亚马逊回应称草稿性、过时文档往往只呈现不完整图景。
2. FAA 全国停飞约7000架次，恰好发生在 AI 空管工具全国铺开数日后（11月13日）：美国联邦航空管理局在影响全部航路管制中心的通信问题后暂停全国航班起飞，FlightAware 统计约7000架次延误或取消，为2023年1月以来美国首次全国性停飞。时间线敏感：数日前 FAA 刚把承包商 Air Space Intelligence 开发的 SMART（战略空域航路轨迹管理）系统从华盛顿试点扩至全国所有航路管制中心，合同金额接近10亿美元。公司称停飞与自家产品无关，但因为没有公开日志、也没有公认方法把该系统排除在事故链条外，外界无法核实——没有可观测性，你失去的不只是排障能力，还有为自己辩护的能力。

💾 内存与半导体

1. 渠道端出现”价格倒挂”：内存条有价无市，10月以来销量下滑两到三成（腾讯新闻实地探访济南华强广场，11月15日）：柜台16GB DDR4 内存条报价稳定在600元左右，32GB DDR5 套装部分品牌报价已突破3000元（早年约800元），同款固态硬盘从去年不足800元涨到线上近2000元。多位商家称10月份以来内存销量普遍下滑20%至30%，”整个内存流通渠道甚至出现了价格倒挂——出厂价还在涨，渠道商却不得不降价回笼资金”，出现”一天报两价”。同期高端显卡价格明显回落，有型号半月内跌5000元。业内人士判断，当前内存小幅下调并非趋势性下跌，更多是渠道商资金压力下的被动选择，而非原厂转向降价。
2. 台积电明确”不造 DRAM”，但英伟达把 HBM 最关键的基底裸片统一交给台积电3nm（TomsHardware/网易，11月14日）：台积电发声明否认将生产3D DRAM，重申专注集成电路代工——传闻起因是英伟达要求其规划3D DRAM产能。但另一条线在收紧：英伟达要求三星、SK海力士、美光在 NVHBM（基于 HBM4E 架构的定制HBM）基底裸片上统一采用台积电3nm工艺，三星已接受，这将是其历史上首次在 HBM 制造环节与台积电合作。原因是 HBM4 起基底裸片切换为 Logic Base Die，英伟达还把原本放在 GPU 内的内存控制器整体搬了进来，逻辑复杂度逼近小型 ASIC；而台积电3nm良率据业内估计超90%，三星晶圆代工2nm约60%。SK海力士量产的 HBM4 基底裸片已由台积电12nm生产，成本是自家 DRAM 核心裸片的3到4倍。
3. 现货价仍在高位但涨速分化：DDR5 16Gb 30日涨8.68%，DDR4 8Gb 首次转跌（MemoryIndex/TrendForce，11月14日20:00 CST 口径）：DDR5 16Gb（2Gx8）4800/5600 报61.91美元/颗（约440.8元），30日涨8.68%、同比涨484%；DDR5 16Gb eTT 报28.93美元，30日涨14%；DDR4 8Gb（1Gx8）3200 报46.47美元，30日转为-0.37%（同比仍涨856%）；DDR5 RDIMM 64GB 报2065美元/条，30日涨4.86%、同比涨455%。另据11月13日渠道报价，企业级 DRAM 合约价环比再涨15%至20%，部分高容量 DDR5 模组交期拉长至40周以上，为三季度以来第三轮上涨。
4. 涨价传导到终端：中国笔记本线上均价同比涨13.4%，大疆宣布11月18日起调价（公开报道，11月14日）：受存储芯片持续涨价及供应链结构性重构影响，2026年第三季度中国笔记本电脑线上销售均价同比上涨13.4%至7759元；大疆宣布自11月18日起调整部分在售手持云台相机、拇指相机产品的建议零售价，理由是全球存储及关键零部件成本大幅上涨。存储占笔记本整机物料成本比重已从约15%升至35%以上——如果你的采购成本里含存储项，别直接拿去年的价格表做明年预算。