本轮采集时间：2026-11-14 15:00 ｜ 来源：凤凰网科技、网易、IT之家、钛媒体、新京报、时代财经、新浪财经、腾讯新闻、搜狐、36氪、站长之家 ｜ 新增条目：6
导语：本轮最值得关注的是两件事。一是芬兰赫尔辛基大学逻辑学家扬·冯·普拉托借助 Claude 破译了哥德尔 1084 页加贝尔斯贝格速记法手稿，从中发现 440 余条此前从未被记录的定理，其中约 400 条经验证成立，哥德尔 1940 年接近解决选择公理独立性的研究轨迹由此重见天日——这是 AI 首次系统性介入数学史文献的释读。二是谷歌联合 Gentle Monster、Warby Parker 与三星正式开启 Gemini 智能眼镜预购，395 美元起、12 月 10 日上市，这是谷歌首次把 Gemini 做进日常框架眼镜并通过眼镜店渠道销售。此外，沐曦与优必选合资的具身智能芯片公司曦选创智完成 5 亿元天使轮融资、投后估值 40 亿元；价值 1140 万美元的英伟达硬件在运输途中失踪，被媒体称为「史上最大 GPU 盗窃案」。
政策与治理
价值 1140 万美元英伟达硬件运输途中失踪，「史上最大 GPU 盗窃案」曝光
一批价值约 1140 万美元（约合 7610 万元人民币）的英伟达 AI 硬件在从加州奥克兰运往得州沃思堡的途中连车带货「消失」。卡车 8 月 29 日按预约从奥克兰提货，车身挂有一家食品运输公司的标识，提货流程一切正常，但途中多次长时间停靠，单次停留可达数小时；调查人员追踪至加州东南部圣贝纳迪诺县后信号彻底中断，收货方直到 9 月 13 日才报案。多家媒体称这是「史上单笔案值最高的 GPU 盗窃案」，专家不排除货物已被拆盘、重新封装并转运出境。货运安全机构指出，此案与 2026 年中以来针对 AI 芯片的系列组织化犯罪同源，相关跨州连环劫案总涉案金额已突破 1 亿美元。
产业与商业
沐曦×优必选合资公司曦选创智完成 5 亿元天使轮融资，投后估值 40 亿
11 月 12 日，由优必选、沐曦股份、锋龙股份共同出资设立的具身智能端侧芯片企业曦选创智宣布完成 5 亿元人民币天使轮融资，投后估值 40 亿元，由纪源资本、经纬创投联合领投，和利资本、鼎晖龙芯创投、上汽恒旭资本、耀途资本等跟投。公司成立于 2026 年 5 月，聚焦自主可控的具身智能端侧芯片与计算平台，首颗自研芯片定位为面向机器人的「大小脑一体」SoC，以全面超越 NVIDIA Thor 为研发目标，针对多模态感知、认知决策与运动协同需求开展芯片定义与系统设计。按照规划，公司将于 2027 年向产业伙伴提供开发验证平台，2028 年推出首款 SoC 产品及配套的具身智能整体解决方案。
来源：钛媒体、新京报贝壳财经（百家号）、时代财经（东方财富）
Isomorphic Labs 洽谈 50 亿美元融资，估值或达 500 亿美元
据彭博社 11 月初报道，Alphabet 旗下 AI 药物研发公司 Isomorphic Labs 正洽谈新一轮约 50 亿美元的融资，投后估值可能达到 500 亿美元。Isomorphic Labs 2021 年从 Google DeepMind 分拆成立，总部位于伦敦，致力于将 DeepMind 在蛋白质结构预测领域的突破性成果 AlphaFold 应用于药物研发，提高新药发现效率。公司今年 5 月刚完成一轮 21 亿美元融资，由 Thrive Capital 领投。不过截至目前，Isomorphic Labs 仍无任何一款药物进入人体临床试验，核心技术尚处于临床前研究阶段；公司总裁 Max Jaderberg 此前公开预测「未来所有药物都将由 AI 设计」。
工具与产品
谷歌 Gemini 智能眼镜开启预购：395 美元起，12 月 10 日上市
11 月 12 日，谷歌联合 Gentle Monster、Warby Parker 和三星正式开启 Gemini 智能眼镜（Intelligent Eyewear）预购，12 月 10 日开售，起售价 395 美元（Warby Parker 三款），Gentle Monster 六款从 449 美元起，美国和韩国率先上市。眼镜没有屏幕，靠说「Hey Gemini」或点一下镜腿来使用：能看街边壁画讲故事、对着活动海报查日历、实时翻译 70 多种语言、用 Google Maps 导航，还能拍照录像。硬件为一颗 1200 万像素超广角摄像头、约 41 克重、续航最长 9 小时，充电盒可补电 7 次。隐私设计上，摄像头画面默认不进 Gemini 历史、不用于训练，处理前自动遮挡路人面部，外部有指示灯、遮住即无法拍摄，并带物理开关。
学术与前沿
Claude 破译哥德尔 1084 页手稿，发现 440 余条新定理
芬兰赫尔辛基大学逻辑学家扬·冯·普拉托（Jan von Plato）借助 Claude 破译了数学家、逻辑学家库尔特·哥德尔遗留的 1084 页加贝尔斯贝格速记法（Gabelsberger shorthand）手稿，从中发现 440 余条此前从未被记录的定理，其中约 400 条经现代证明助理验证成立。这批手稿写于 1940 年前后，哥德尔当时正尝试解决选择公理的独立性问题，其研究轨迹由此重见天日。这是 AI 首次系统性介入数学史文献的释读工作，也显示大模型在冷门速记法识别与形式化验证之外的文献整理能力。
DeepSeek-V4.1-Flash 推理自我改造：不改权重，AIME/HMMT 暴涨 7 分
研究团队将 DeepSeek-V4.1-Flash 在 243 道数学题上的做题轨迹，连同最深 7 层的内部激活状态交给模型自己分析。DeepSeek 在总结犯错规律后，亲手写出了一段名为 probe_and_resample 的探针重采样程序：思维链每推进到检查点，程序便自动提取最深 7 层的激活特征打分，一旦测出轨迹偏离正常分布，当场触发回滚重算（rollback）。整个过程不修改任何模型权重，却让 DeepSeek-V4.1-Flash 在 AIME 与 HMMT 2026 考场上的成绩暴涨约 7 个百分点，达到 71.0%。这是模型首次通过自我监控代码改造自身推理流程的公开案例。
来源：百家号