今日AI新闻早报（2026-11-15）：速览科技圈最热动态

今天AI圈一端通向学术，一端通向产业：一款大模型几小时内“读完”哥德尔未发表的手稿并挖出数百条新定理；英伟达换帅余波未平，微软一次全球性宕机让金融交易退回传真机时代。与此同时，AI 正从“会聊天”走向“会做实验、会操作机器人、开始谈收费”。

1. Claude破译哥德尔天书：几天挖出400多条可验证新定理

芬兰赫尔辛基大学的逻辑学家 Jan von Plato 用 Claude 去解密哥德尔 1940 年定居普林斯顿后写下的 1009 页速记手稿。他把这 1009 页撰写稿、自己 6 本专著与大量现代逻辑学文献一并喂给模型，几天内得到 650 页解读、追问后膨胀到 1084 页，并梳理出 663 条具备定理雏形的结果，其中 400 条经形式化验证完全成立。

研究者认为关键在于 Claude 能“同时在场”地贯通上千页思绪，而人类逐页阅读读到第 500 页时，早已忘掉第 10 页写了什么。

来源：36氪

2. “史上最严”湿实验预测基准发布：推理拉满、算力翻5倍也白搭

UniPat AI 推出 Science Prediction Universe（SPU）基准，包含 116 个任务、4207 个真实湿实验，覆盖化学、材料科学、生物与医学，顾问与合作成员来自斯坦福、康奈尔、哈佛等高校。模型需按 8 小时工作制、单块 H20 的配置自主决定检索与计算策略并给出实验预测。

结果显示，即便是 Opus 5.5、GPT-6 Astra 这类最强模型，距离真正可用的湿实验预测仍有明显差距，算力翻数倍也难以弥补，这是对当前 AI for Science 能力的一次硬性校准。

来源：36氪

3. 星舰第15次试飞：一级改道未回“筷子”塔，海面自毁

北京时间 11 月 14 日清晨，编号 B22 的星舰一级从发射台升空，在得州海岸减速并近乎悬停在半空。原本高塔上的两条机械臂“筷子”已做好接住准备，但火箭最终改道飞往墨西哥湾上空，关机后自毁装置启动，在落向海面时炸成火球。

这是三代星舰首次尝试一级回收，33 台发动机中仅 1 台在返航点火时未点着，未影响后续流程；SpaceX 尚未说明改道原因，此前第 6 次试飞曾因与发射塔电脑失去通信而放弃塔接。

来源：36氪

4. 谷歌 Antigravity 推出 /teamwork：多智能体开始啃基础科学难题

谷歌研究团队公布 Antigravity 的 /teamwork 多智能体工作流，用于在数学、科学与复杂系统工程中长期推进多年未解的开放问题。团队结合 Gemini 4 Argon、Carbon、Hydrogen 等模型，在信息论、形式化方法等方向产出了新成果。

这意味着多智能体协作正在从代码生成场景外溢到基础科学研究领域，模型开始承担更长链条的推理与验证任务。

来源：HackerNews

5. Show HN：用 190 行纯 JAX 从零复现 DeepSeek-V3

该项目用约 190 行纯 JAX 复现了 DeepSeek-V3 技术报告中的架构，涵盖 MLA、DeepSeekMoE、无辅助损失负载均衡与 MTP 多 token 预测等核心设计。它不依赖 Flax、Equinox 或 PyTorch，参数以普通数组字典表示，整个模型是一段可以从头读到尾的函数代码。

更夸张的是，作者在一台 MacBook Air 上用公版侦探小说完成了从零预训练，并同步发布了逐段讲解的配套长文与示意图，对研究型读者复现 MoE 训练链路很有参考价值。

来源：HackerNews

6. 安全研究：15.9 万个 Lovable 应用暴露护照与私密消息

安全机构 Crissy Field GmbH 检查了 159041 个基于 Lovable 构建的项目，发现大量个人与机密信息在无需登录的情况下即可被访问，涉及护照资料与超过 20 万条私密消息。Lovable 是瑞典 AI 编程创业公司，主打用自然语言把想法直接转成可用的 Web 应用。

这一结果暴露出低代码 AI 生成应用在权限管理与数据隔离上的系统性风险：当生成门槛降到一句话，应用上线同样只需要一句话。

来源：HackerNews

7. Gemini Robotics 2.5 上线：谷歌称其为最强机器人模型

谷歌在 ProductHunt 上线 Gemini Robotics 2.5，官方将其定位为目前能力最强的机器人模型。相比前代版本，2.5 继续强化了多模态感知与操作任务的通用性，是谷歌把 Gemini 系列从对话模型推向实体执行层的重要一步。

相关产品页与体验入口已在 ProductHunt 开放，具身智能的模型底座竞争正从单点演示走向可交付能力。

来源：ProductHunt

8. DeepSeek 前端出现“额度耗尽”提示，C 端付费方案或在酝酿

开发者在 chat.deepseek.com 的前端代码中发现了一整套额度管理逻辑，提示文案包括“使用额度已达上限，请额度恢复后再试”，并包含额度耗尽后的错误处理分支，以及“分享对话后继续聊”场景下对 quotas 数组中 is_exhausted 状态的检查。新版前端还支持额度状态轮询，页面可见时每 5 分钟同步各模型额度、禁言状态与服务端文案，整体指向一个名为“Coding Plan”的专属套餐。

DeepSeek 月活约 1.30 亿，年化营收突破 10 亿美元且几乎全部来自 API 端，C 端至今未直接收费；官方尚未公布订阅方案的价格、层级或上线日期，相关消息均为社区推测。

来源：IT之家

9. 华为麒麟 9050 细节公开：新马良 GPU、二代硬件光追与 2 亿像素融合拍照

华为继续公开首款“逻辑折叠”τ 芯片麒麟 9050 系列的配置。新一代马良 GPU 采用第四代 GPU 微架构，GPU 性能提升 40%、功耗下降 45%，并实装第二代硬件光追，光追性能提升 78%，包含 BVH 硬加速单元、FERT 求交硬加速与 AO 加速管线。

新一代麒麟 AI ISP 集成像素专用 NPU，与通用 NPU 双引擎并行，支持 4K60 实时视频处理，并首次实现 2 亿高像素融合拍照；该系列此前还官宣搭载达芬奇架构 NPU，成为业界首个 30B MoE 大模型入端的移动芯片。

来源：IT之家

10. 马斯克声援黄仁勋：将以请愿支持其重返英伟达 CEO 岗位

马斯克表示将签署请愿书，支持黄仁勋重返英伟达 CEO 岗位，目前已有超过 5 万人参与请愿要求恢复其职务。与此同时，英伟达副总裁卡坦扎罗否认签署了要求前 CEO 复职的公开信，并表态支持董事会与临时 CEO 克雷斯。

英伟达两大股东亦已公开致信董事会，要求以缓慢、审慎的方式评估包括黄仁勋回归在内的所有领导层方案，这场围绕巨头掌门人与公司治理的拉锯仍在继续。

来源：IT之家

11. 微软 2026 最严重宕机：全球金融业被迫重启传真机

微软多项软件服务发生全球性故障，重创全球金融业务，从东京到休斯敦的交易台邮件系统不可用，部分交易员被迫改用电话、WhatsApp 甚至重新启用传真机维持运转。泛欧交易所、纳斯达克与德意志交易所均报告邮件问题，新加坡交易员称原本一秒钟完成的邮件确认如今要花几分钟通话时间。

故障恰逢美伊和谈消息引发油价剧烈波动，普氏等价格发布机构一度警告价格更新可能延迟，并建议市场参与者改用电话或即时通讯确认交易。

来源：IT之家

12. 浙江人形机器人：藕池工厂产能扩至数千台，储备万台级量产

记者实地探访位于宁波的浙江人形机器人创新中心产线，在藕池工厂，来料检验、整机组装、整机测试与包装等工序已井然有序展开。公司透露人形机器人年产能已从数百台扩容至数千台，目前正在新建集士港工厂进一步扩充产能。

通过与外部生产基地合作，该团队预计未来可实现万台级产能，量产节点进入实质性推进阶段，具身智能的竞争焦点正从样机演示转向产线交付能力。

来源：虎嗅

13. 周小川谈 AI 与资本市场：给交易装个“低通滤波器”

在 11 月 14 日举办的 2026 中国资本市场学会年会上，周小川围绕高科技发展给资本市场带来的影响与挑战提出三点看法。他指出 AI 快速发展正深刻改变资本市场的人机分工，未来 AI 或将实现递推式自我改进（RSI），核心是设定好目标函数。

他同时强调要锚定优化资源配置、管控风险，平衡股权与债券市场的融资结构，并给出“装个低通滤波器”的思路，让交易频率与基本面相互适配。

来源：虎嗅

14. 东盟签下首个有法律约束力的数字经济框架协议

根据新加坡方面的声明，东盟签署了数字经济框架协议，涵盖网络安全、人工智能和跨境数据共享等内容。这是东盟首份具有法律约束力的数字经济协议，涉及端到端贸易与源代码保护。

AI 与跨境数据流动首次被纳入东盟层面的框架性约束，对区域内科技企业的合规布局与数据出境安排将产生直接影响。

来源：虎嗅

15. 黄仁勋单独聘请 Paul Weiss：风波已超出公司治理范畴

据《纽约时报》援引两名知情人士报道，英伟达前首席执行官黄仁勋已聘请律师事务所 Paul Weiss 及其诉讼律师 Melinda Haag 和 Walter Brown。该所总部纽约，以重大商业诉讼、zf 监督&管理调查、反垄断与合规见长，政商关系深厚。

英伟达此举或为应对美国出口管理&制约与反垄断审核&查验压力，目前尚不清楚律所受雇具体负责哪一部分事务，创始人治理风波正在向监督&管理层面延伸。

来源：知乎

今天的基调很清晰：AI 的能力上限仍在被刷新，而巨头治理与基础设施稳定性这些“老问题”，也正同时被摆上台面。

---

📱 推荐阅读：全网热点一站搞定

想要第一时间掌握全网最热话题？推荐你一个超好用的热榜聚合站——吾爱热榜（hot.wuaishare.cn）！

✅ 支持抖音、微博、小红书、知乎、百度等200+平台实时热榜
✅ 自动刷新，热门话题实时追踪
✅ 紧凑布局，一屏尽览全网热点
✅ 自定义分类和导航，想看什么由你做主

👉 点击访问 吾爱热榜，一站看完全网热搜，吃瓜永不落后！