From better modelsto tighter scientific loops

发生了什么：Flagship Pioneering 把旗下三家公司的平台合在一起，再配上自己的 AI 部门 Pioneering Intelligence；据 BioPharma Dive，三家此前共融资 3.74 亿美元。CEO 是 Adaptimmune 前 CEO Adrian Rawcliffe，Flagship 高级合伙人 Alec Reynolds 任董事长，Noubar Afeyan 是联合创始人。起步项目在血液病（如骨髓纤维化）、代谢（含已有合作的 MASH 项目）和免疫。Cellarity 的镰状细胞病药物 CLY-124 转入另一家公司。

为什么重要：三家各有一类证据：Cellarity 读整个细胞的状态，Etiome 追踪疾病逐阶段的变化，Empress 查清一个分子实际结合什么。Flagship 押的是：三者合并，再加上细胞在基因被关闭或加入化合物后如何反应的数据，能分辨哪些靶点真正导致疾病，从而在试验前判断哪些药会在病人身上起效。Reynolds 把要解决的问题说成约一半进入二期的药物会失败。

证据与边界：没有宣布新融资。新闻稿称其用 1.5 亿个细胞训练的基础模型为业内最大，另有 30 多个预测模型，这些都是公司的描述，没有展示任何结果。

发生了什么：ALLOX 完成 1050 万美元（940 万欧元）种子轮，由 Asabys 通过 Sabadell Asabys II 基金领投，西班牙创新署 CDTI（经 Innvierte）和加泰罗尼亚金融局参投。公司出自巴塞罗那基因组调控中心，CEO Júlia Domingo 与 André Faure、Pablo Baeza、Ben Lehner 共同创办。Orbis Medicines 首席商务官 Morten Graugaard 出任独立董事长，Asabys 联合创始人 Clara Campàs 进入董事会。资金用于突变图谱平台、自有 AI 模型、药物发现团队和小分子项目。

为什么重要：很多致病蛋白，比如转录因子和靠抓住其他蛋白起作用的蛋白，没有可供药物结合的口袋。ALLOX 一次测量上千个突变的效果，寻找蛋白上其他仍能改变其功能的位置。Faure、Domingo 和 Lehner 2022 年在 Nature 发表了这一方法：用神经网络拟合这些测量结果，绘出了两个常见人类蛋白结构域上的这类位点。这轮资金用于开发 AI 模型，从公司自己的数据中预测这些位点。

证据与边界：这是一笔融资，不是结果：新闻稿没有给出靶点或新数据，公司网站只提到一款临床前抑制剂 ALX-001，没有公布数据。2022 年的论文在实验室里测绘的是两个小的蛋白结构域；目前没有公开证据显示有药物针对这样找到的位点做出来。

发生了什么：台湾大学、上海交大、SLAC 和华盛顿大学等机构的物理学家，用 5 亿个模拟事件预训练了一个处理整次对撞的模型，再微调用于四项分析。在模拟的新重粒子搜寻和奇异希格斯衰变搜寻中，它胜过 XGBoost、TabPFN 和 SPANet，数据越少优势越明显；在模拟中测量顶夸克纠缠时，精度比已发表的基准高 37%。在真实的 2016 年 CMS 数据中，它以 7.6σ 找到已知的 ϒ 介子，已发表方法为 6.4σ。

为什么重要：如今对撞机物理学家每做一项分析，都要单独训练一个模型。EVENET 检验的是一个预训练模型能否服务许多分析：在 NERSC 用 512 块 GPU 做一次大规模预训练，之后每个新问题只需低成本微调。收益最大的是稀有信号搜寻，因为每个新粒子假设往往只有几千个模拟信号事件。预训练数据和四个下游数据集中的三个，都以 MIT 许可公开在 Hugging Face 上。

证据与边界：只有一项测试用了真实对撞数据，找到的是一个已知粒子；其余三项都在模拟事件上完成。作者说，模型还没有把探测器和理论的不确定性传递进去，决定性的检验是用于一项正在进行的 LHC 分析。

作者 Ting-Hsiang Hsu、Vinicius Mikuni、Yuan-Tang Chou、Yulei Zhang

发生了什么：加州伯克利新加坡中心、南洋理工大学、新加坡国立大学、莫纳什大学和劳伦斯伯克利国家实验室的 Fanxu Meng、Kedar Hippalgaonkar 等人做了 SKIER：AI 模型调用研究者写好的分析步骤，计算交给普通代码。在课题组已发表的铂上甲醇氧化研究的 49 条记录上，有共享步骤时 11 种 AI 配置都处理完了数据，没有时一个都没有。模型再提出三种机理和区分它们的实验，团队都做了。

为什么重要：越来越多人让 AI 模型解读实验、提出机理，但它们的结论常常很难追溯到背后的测量。SKIER 把工作拆开：每种测量怎么分析由研究者定死，模型负责选择和推理，每个结论都能指回自己的数据。案例里这个回路走完了一次：同位素标记、停留时间和氧交换实验不支持三种机理中的两种，把 C-O 键断裂定在甲酸生成之前。

证据与边界：只有一个反应体系，来自作者自己此前的研究。GPT-5.6-sol 拿到 100% 的那 100 道单选题，由专家设计，论文没说是谁出的。作者也说，低于检测限的中间体和他们没考虑到的路径都没有排除。预印本。

作者 Fanxu Meng、Kedar Hippalgaonkar

发生了什么：老股东上海生物医药基金与达晨财智追加，国开科创、瑞力投资、国方创投跟投。这家北京公司由 Mila 与蒙特利尔高等商学院的唐建创立，没有披露本轮金额，只说包括 6 月那轮数亿元融资在内的 A 轮系列已超 1 亿美元。资金用于分子模型 GeoFlow、预测细胞对扰动如何反应的 GeoCell、扩建自动化实验室，以及推进自研管线。

为什么重要：这轮钱投的是从「设计一个分子」走到「决定它用在哪」：GeoCell 要回答一个设计适合哪个靶点、哪种病、哪些病人，自动化实验室把结果回传给两个模型。共同领投过 6 月那轮的上海生物医药基金，其合伙人郭秋杉说，公司已把模型能力从分子贯通到细胞。公司唯一给出时间的收入来自合成生物学，而不是药物：公司说生物合成的天然冰片比植物提取便宜 80%，2027 年将产生规模化收入。

证据与边界：1 亿美元是 A 轮系列合计，不是本轮金额。2027 年多条双抗进入 IND、冰片的降本幅度，以及 6 月所称在 20 多个抗体靶点上近 20% 的命中率，都是公司说法，没有展示数据。

发生了什么：这家纽约公司从其他药企买入或授权引进一期、二期药物，由自己推进开发。新设的 Drug Development Accelerator Fund 获研究基金会、捐赠基金、医院和慈善机构承诺出资 6 亿美元；Formation Bio 通过子公司任普通合伙人，也投入自有资金。每个药物单独放在一家公司里。CEO 兼联合创始人 Benjamine Liu、首席商务官 David Steinberg 和首席科学官 Michael Ehlers 在新闻稿中发言。

为什么重要：这是 AI 公司为药物开发筹钱的另一种做法：Formation Bio 按单个药物募资，投资人买的是药，不是平台。Liu 说，这开辟了不必出售母公司的变现途径，长期看还能降低资金成本。要检验的说法是：一个共享的、由 AI 支撑的开发团队，能在买入后 2 到 4 年内，更便宜地把每个药推到临床结果。

证据与边界：这是为药物项目设的基金，不是 Formation Bio 的股权融资。没有点名任何有限合伙人或基金要买的药，新闻稿也没有展示平台缩短过哪个项目的例子。

发生了什么：Creandum 领投种子轮，其合伙人 Katharina Wilhelm 加入董事会。公司同时公布了此前一轮 250 万美元的种子前轮，由 First Momentum Ventures 和 LEA Partners 领投，合计 1250 万美元。公司由 Simon Romanski（CEO）和 Sebastian Bayer（CTO，曾在 Google 领导语言模型研究）于 2024 年创办。它的模型用约 200 万份人体组织 RNA 读数训练，预测虚拟队列里每个病人对一种疗法的反应。资金用于招聘、验证平台和拓展药企客户。

为什么重要：II 期是多数药物失败的地方，也是研发方弄清一个分子适合哪种疾病、哪些病人的地方。Atlas 想在试验之前回答这个问题：让同一批虚拟病人分别接受几种疗法、对应几种疾病，这是真实试验做不到的比较。两天内这是第二家拿到融资的计算机模拟试验公司，前一家是给心脏器械做虚拟病人的 adsilico；Atlas 面向药物，先做免疫领域。Wilhelm 把临床开发称为 AI 进入药物研发的第二波，第一波是药物设计。

证据与边界：公司网站上的案例，包括一次预测 II 期会失败、随后被试验证实的案例，都是公司自己发布的，方法和队列只在保密协议下给合作方看。一家巴塞尔客户凭它的模拟结果省掉动物实验，是公司的说法，客户没有具名。

发生了什么：BigHat Biosciences 与 Anthropic 在 BigHat 的 Milliner 平台上做了两次先导分子优化，共七轮（一个分子四轮，另一个三轮）、约 1010 个设计，Claude 参与其中。他们去读仪器的原始曲线，发现每个分子上都有一项热学指标并没有测它名字所说的东西：纳米抗体上是聚集起始温度。于是给曲线拟合物理模型、换指标、改实验方案。两个先导分子在结合力、耐热性和聚集上都好过起始分子。

为什么重要：闭环实验室优化的是给它的那个数字，所以一个替代得很差的指标，换更好的模型或更多数据都救不回来。这里的改进来自人和模型去读仪器信号、并改动实验，而不是多跑几轮搜索。已发表的闭环工作大多把仪器报出的数值当作正确标签，这次优化没有这样做。

证据与边界：这是两家公司自己的技术报告，未经同行评审，全部测量都在 BigHat 自己的实验室：一个平台上的两个分子。报告写明每个先导分子的数值只有一到两次重复，下一步先做确认实验；新指标也是在产出它的那次优化里选定的。先导分子是抗体片段，不是药，没有动物或人体检验。

作者 Samuel Stanton、Peyton Greenside

发生了什么：公司与 AI 智能体经过三轮设计和测量，做出一段 45 个氨基酸的 CAR 胞内信号段，长度不到已获批疗法所用 4-1BB-CD3zeta 段的三分之一。与那一段相比，它提高了细胞表面的受体量和抗原引发的 IFN-gamma 释放，而没有抗原时检测不到释放；用 mRNA 递送后杀伤维持更久，一份 mRNA 剂量可带四个受体，用慢病毒和脂质纳米颗粒递送后在供者血细胞中清除了更多 B 细胞。

为什么重要：把信号段缩短，本来预计会损失功能，因为激活基序越多一直被读作信号越强。这段短的信号段让每单位 mRNA 产出更多受体，团队因此才能把四个受体放进一份剂量；报告还提出短信号段有可能降低在体内制造 CAR T 细胞所需的剂量。它同时是智能体引导设计的一个实例：智能体提出设计，并随测量结果不断修改。

证据与边界：这是公司自己的技术报告，未经同行评审，而且全部在细胞层面：少数几位供者的人血细胞，没有动物实验。报告写明短信号段在活体动物里表现如何、有多少细胞同时带上全部四个受体，都还不知道；没有测耗竭；智能体引导的设计是否强过专家设计、是否需要更少轮数，也还没有在对等基线下检验过。

作者 Liam Bai、Wujie Wang、Jason Yi

发生了什么：Enveda 测试了自建的 CDP：基于 Claude 的药品生产批记录审核系统。测试对象是同一个临床批次计划下的四份已执行批记录，共 1061 页，多为手写。人工审核员提出 11 个需处理的问题：CDP 有 9 个直接对上，另 2 个经裁定算作对上，且都是多次运行合计，不是一次跑完。Claude Opus 4.7 的单次运行还多提 7 条人工没提的意见。拿着 CDP 的意见再审一遍，用时是无辅助的 1/9.4。

为什么重要：每批药放行前都必须做批记录审核；Anthropic 的文章说，Enveda 的生产化学家此前有多达 75% 的时间花在文书上。这是药物研发中受监管的文书那一端，几乎没有人去量它，而这里的尺子是人工审核员在真实记录上查出了什么，不是某个基准上的分数。

证据与边界：这是公司自己的报告，未经同行评审：一个批次计划下的四份记录，对照的是审核员的意见，而四组审核中有两组是外部顾问。CDP 没有一条意见引用记录里不存在的内容，但每次运行都按“重大”级别报错一条，人工审核员也能查阅 CDP 没拿到的上游工序记录。那多出的 7 条是否重要，由 Enveda 判断。用时那个数字，来自事先拿到 CDP 意见的那次审核。

作者 Andrew Martin、Brandy Schenck、Daniel H. Wee、Viswa Colluru

发生了什么：Anthropic 在自己的 Science 页面上说，公司已收购 Mithril Medicine。这家公司此前在研发两种罕见儿童先天性肌营养不良的疗法，创始人 Cody Tranbarger 已加入 Anthropic，继续这项工作并启动更多项目。同一篇文章还列出与六家机构的研究合作：BigHat Biosciences、Bristol Myers Squibb、Divergence Labs、Enveda、Generate:Biomedicines 和 The Column Group，后者正在组建一家叫 Pleiades 的公司，用 Claude 来跑药物项目。

为什么重要：一个卖模型的公司变成了做药的公司。合作让 Anthropic 自己的科学家进入别人的项目，收购则让它有了自己的项目：风险由它承担，结果也归它。文章还说，Anthropic 打算把这部分工作大幅扩大。

证据与边界：收购没有披露条款。Anthropic 说，如果候选分子继续站得住，它预计最早在 2028 年底会有一个药可以开始人体试验，这是它自己的预期；背后的小鼠结果出自公司自己发布的技术报告，未经同行评审，报告里研究的是两个工具分子的初步实验，不是候选药。Pleiades 目前还没有公开任何项目。

发生了什么：食物过敏唯一获批的生物药 omalizumab 中和游离 IgE，对结合在 FcεRI 上的那部分拿不太掉。在自家研究团队引导下，Claude 执行 22 个阶段，目标是能把它撬下来的双臂抗体。单一浓度下筛了 91 个拆解臂，20 个快过所有阴性对照；其中八个纯化后做剂量滴定，三个在 25 至 400 nM 之间清除得比 omalizumab 更多。57 个锚定臂设计里 3 个结合 IgE，表观亲和力 3.4 至 235 nM。

为什么重要：把结合上去的 IgE 从受体上拉下来需要精确的几何关系，而展示库和免疫途径都无法指定它，所以在这里，从结构出发做设计是要点本身，不是图方便。改到距母本八个替换之远，功能仍然保留；命中来自这场设计试过的每一个改写范围和每一种方法。Divergence 说这两条臂是以周计拿到的，而筛选通常要几个月。

证据与边界：这是 Divergence 自己的报告，未经同行评审，全部是传感芯片上的生物物理测量：没有细胞，没有动物，双臂分子还没做出来。报告写明，剂量滴定里这些变体看起来并未强过母本 sdAb026，最好的那个在多数浓度下与它相当；Anthropic 概述这项工作的文章没有提到母本。锚定臂亲和力可能被亲合效应混淆；方法还需先有已知拆解分子的序列和解出的结构。

作者 Ezra Erives、Emilio Ferrara、Bowen Jing

发生了什么：模型把视频与音乐、环境声和可交互对话一起生成，DeepMind 称这是它第一个原生生成音频的实时世界模型；模拟进行中还能用自然语言改天气、移镜头或加一个人。它建立在 Gemini 系列之上，由 Gemini Omni 锚定真实外观与行为，所有输出都将带上 SynthID 水印。

为什么重要：DeepMind 自己给出的用途包括为机器人与智能体开发训练环境，以及在把 AI 系统带到真实世界之前先测试它们。有一段的提示词是「Universal Robots UR5 拿着移液器往实验板里加液，溅出细小电火花」，这是帖子里唯一的实验室场景，而帖子点出的测试者来自创意、新闻、教育、游戏和工程。

证据与边界：发布里没有基准、没有分数，也没有与 Genie 3 的对比：只有片段、说明文字和一次没给结果的内部安全评测。媒体报道的两分钟一致性数字两篇帖子里都没有；没给时长，只说模拟跑得越久，物体恒常性越可能漂移。只开放给受信任的测试者，没有公开访问。

作者 Raia Hadsell、Diego Rivas、Hang Qi

发生了什么：这家旧金山公司参加了斯坦福 StartX 2026 夏季营，把药企自己的临床试验、RNA 测序、变异等数据与已发表研究放在一起，按科学家用日常语言提出的问题跑分析并写成报告，先服务于根据已完成试验规划下一项试验的团队。CEO 兼联合创始人 Elena Cassidy、Bright Ventures 创始人 Lenore Champagne Beirne 和科学顾问 Michael Snyder 在新闻稿中发言。资金用于平台开发，以及招聘科学与工程人员。

为什么重要：它押的是：临床开发慢在分析，不在数据。药企手里已有能解释谁对药物有反应的临床和基因组结果，只是散在不同研究和系统里。Omabit 卖的是把它们接起来并做分析，包括用公司自己的数据建预测模型，而不是新数据。

证据与边界：网站称分析从三个月缩短到一天，这是公司的说法，没有展示案例。没有点名任何客户。

发生了什么：伦敦作物 AI 初创公司 Biographica 的 Paride Antinucci、Dominic Hall 等人在 bioRxiv 预印本中，把基因的 DNA 和某种组织或条件下转录因子（开启基因的蛋白）的实测水平一起输入模型。在六种植物的留出数据上，它在不同情境间的每基因相关系数中位数为 0.831，去掉这项输入的同一模型为 0.486，比三个完整微调的基因组基础模型高 57% 到 246%。随后它为大豆和番茄设计了最多改 20 个碱基的编辑。

为什么重要：许多作物基因影响不止一个性状，一个在某种组织或条件下有利的编辑，可能在别处带来不想要的变化。能按情境预测表达的模型，让育种者在编辑任何植物之前，就按目标位置想要的变化和其他位置的变化给候选编辑排序。Biographica 向种子公司提供基因编辑靶点。

证据与边界：这些编辑只是预测，还没有一个在植物中做出来并测量。测试数据来自公开的 PlantExp 数据集，由公司自己的团队评分，预印本也未经同行评审。

作者 Paride Antinucci、Dominic Hall

发生了什么：新加坡副总理 Gan Kim Yong 在 SWITCH 2026 上宣布 MARVEL-AI：由 A*STAR 牵头，政府首期投入 1.5 亿新元，AI 模型挑选候选材料、设计实验，自动化实验室负责合成和测试。平台设在 A*STAR 材料研究与工程研究院（IMRE），该院执行院长 Xian Jun Loh 同时领导 MARVEL-AI。公布的合作方包括材料一侧的 ST Engineering、Heraeus Electronics 和 Foxconn Industrial Internet，以及 AI 一侧的 CuspAI 和 Google Cloud。

为什么重要：演讲点明了它要补的缺口：Google 的 GNoME、微软的 MatterGen 这类模型能提出材料，但一种材料还要做出来、测过、能量产，产业才用得上。MARVEL-AI 把模型和实验室放进同一个国家项目，并把设备、测试和研究人员向企业开放，包括初创公司和中小企业。用 AI 设计材料的 CuspAI 将把自己的系统接到平台的自动化实验室上。

证据与边界：这是一项宣布：演讲和报道都没有给出 1.5 亿新元的分配、时间表，也还没有任何材料成果。每天最多 470 个合金样品、是常规通量 400 多倍的数字，是新加坡企业发展局引用的一个现有实验流程，不是 MARVEL-AI 的成果。

发生了什么：纽约大学和 Flatiron 研究所的 Adam Lahouari、Jutta Rogal 等人研究了吖啶，一种至少有八种晶型的小分子。熔体实验首次解出了晶型 VIII 的结构。他们的 CrystalMath 方法不计算任何能量，从生成的 341,683 个结构中留下 15 个，其中包含全部 7 个结构已知的晶型，晶型 VIII 也在内。针对吖啶微调的 MACE 势加上完整的自由能计算，复现了实验中随温度升高、稳定性从晶型 II 转到晶型 III 的切换。

为什么重要：同一种分子可以结晶成几种表现不同的晶型，这对药物、有机电子和农化都很重要；领域希望用晶体结构预测加机器学习势，在合成之前就给晶型排好序。这里排序这一步需要微调：四个现成的基础势都把顺序排错了，简化的自由能近似也没算出观察到的相变交叉。研究还在 18 种添加剂下从熔体中生长吖啶，发现效果最强的两种与计算出的缺陷能一致。

证据与边界：只有一种分子。预测的两个最稳定晶型的交叉温度约 290 K，实测约 318 K；有些观察到的相变与自由能曲线不符，晶型 IV 也没有纳入计算。添加剂的关联只建立在 18 种中的两种上。预印本。

作者 Adam Lahouari、Jutta Rogal

发生了什么：PXN Ventures 领投，老股东 Northern Gritstone（出资 500 万英镑）和 Parkwalk 跟投。adsilico 于 2024 年由 CEO Sheena Macpherson 与 Nishant Ravikumar、Zeike Taylor 创办。其 Virtual Chimera 平台用生成式 AI 从匿名影像生成虚拟心脏和血管，再对器械在每个个体里的表现做物理仿真。资金用于心脏模型、神经血管器械，以及把团队从 14 人扩到 34 人。

为什么重要：一项器械试验只招几百名患者，很多体型根本没被测过。adsilico 的做法是把解剖结构的生成模型和物理仿真结合起来，做计算机模拟试验：先在成千上万个虚拟身体上测，再上真人；而在这个领域，什么证据算数由监管机构决定。

证据与边界：公司说已与心脏瓣膜和神经血管器械厂商完成项目，但未点名客户，也没有引用虚拟患者与真实结果对照的验证。PXN 领投出自 Tech.eu；Northern Gritstone 自己的公告列了投资方，但没说谁领投。

发生了什么：10 月 26 日递交的 S-1 显示，2026 上半年营收 163 亿美元，2025 全年为 46 亿美元；运营亏损从 21 亿美元收窄到 6.93 亿美元。807 亿美元的净亏损几乎全部是一笔 724 亿美元的非现金重估，对象是可转债、衍生负债和 SAFE。算力承诺包括对谷歌至少 1,145 亿美元、对亚马逊 1,100 亿美元、对微软 449 亿美元，都与用量无关。

为什么重要：从科学的角度看，申报文件写明前沿 AI「可能」扩展到机器人和科学研究，包括药物发现和材料科学，并称 Claude 借助 Model Hardware Standard「现在」已能操作显微镜、液体处理设备和机械臂。它对「强大 AI」的设想还包括持续数周的自主任务，以及「把数十年的科学进展压缩到几年」。但在账目里，公司只有一个分部，生命科学实验室出现在风险因素中。

证据与边界：6 月的数字是未经审计的中期数据。三家云厂商的承诺只是七项已列明安排中的三项，表外另有估计 1,250 亿至 1,500 亿美元的 TPU 算力，承诺总额一栏还空着。前五大客户约占营收四分之一。Founder LLC 新设的股类持有 50.1% 的投票权，长期利益信托则通过自己的股类选出董事会多数。

发生了什么：印第安纳大学 Jared Lewis 的团队与 David Baker 合作，试验了 96 条设计，其中 63 条成功表达；一个名为 DE3 的骨架以 94% 的对映体过量结合铱光催化剂的一种镜像。但刚设计出来时，它在催化上选择性很低。经过突变筛选，对映体比达到 3:97，空气中周转数超过 5 万，蛋白还能回收重复使用三轮。

为什么重要：生成式设计给出的是一个口袋，能容纳自然界没有对应蛋白的辅因子，这正是以往从已有折叠里拿不到的。在这个反应上，对映选择性来自之后的突变筛选；而第二轮设计后来在另一个反应上未经任何进化就做到了 90:10。金属多吡啶光催化剂此前在这两条路上都没能走通。

证据与边界：做下去的只有一个骨架，而测试结合的有五种折叠。口袋是围绕一个钌辅因子设计的，最后只结合铱的类似物，也没有拿到结合辅因子后的结构。底物范围里的另一些反应只有中等选择性。设计和评测出自同一批团队。属于加速预览版。

作者 Sandip Mishra、David Baker、Jared C. Lewis

发生了什么：资金来自 Roku 创始人 Anthony Wood 与 Susan Wood 的慈善机构 WoodNext 基金会，用于在该校材料科学与工程系建设 Aggie AI Foundry。用物理模型和以往合金研究训练的 AI 提出成分，机械臂负责配料、熔炼和测试，温度可达 3000 °C。项目由系主任 Ibrahim Karaman 与 Raymundo Arróyave 牵头，学校说可把合金研发从数月缩短到一周以内。

为什么重要：学校说，现有的自动驾驶实验室处理的是容易合成和加工的材料，而新合金必须在极高温度下熔炼和测试；Arróyave 补充说，还没有任何计算工具能预测一种合金的表现。一座能为金属跑完整个闭环的实验室，检验的是由 AI 主导、机器人执行的发现能否延伸到能源、航空航天和医疗所用的结构材料。

证据与边界：这是建实验室的资助，不是一座已在运转的实验室：没有给出启用时间、通量或任何结果。“学术界首个此类实验室”和“从数月缩短到一周”都是学校自己的说法。

发生了什么：OpenAI 的手稿标注 10 月 25 日，次日连同 Lean 形式化一起放进公开仓库，给出一个在亚指数时间内计数定宽 CNF 可满足赋值的确定性算法。Anthropic 的 49 页论文标注 10 月 26 日、27 日推上仓库，结论相同，署名 Claude, Anthropic，并称模型是 10 月 16 日找到的。

为什么重要：这个假设撑起了几十年的下界工作：Anthropic 的论文说，Claude 的文献检索找到 800 多篇论文，结果只在它或更强假设下成立。只要有一边成立，这些条件性结论就得重读；而参与组织核验的 Ryan Williams 说，若成立，该让每位计算机科学家把 P=NP 的可能性加重。

证据与边界：两家公司之外，没有人验证过任何一份证明。Lean 检查的是证明能否从形式化陈述推出，而不是这个陈述是否就是论文所说的那件事，这一点 Anthropic 自己写明了，还说截至成稿没有已知的人检查过它的 Lean。OpenAI 形式化的界比手稿更弱，只针对规范编码输入，但仍是亚指数的。Anthropic 说它纯属渐近。

发生了什么：OpenAI 发布前先告知三位复杂性学者，请他们组织检验。Russell Impagliazzo、Ramamohan Paturi 与 Ryan Williams 当天写信给同行：「我们的参与不应被视为对该主张的认证。」他另在账号上说，小组没签保密协议、不收钱，OpenAI 答应公开原始材料并资助会议。

为什么重要：机器的结果由谁认证，是这六周争的事；这一次，实验室在发布前先点了检验者的名。那封信就是被点名的人拒绍这个角色，同时守住筹码：Williams 说他们要了原始材料和一场 OpenAI 资助的会议，对方答应了；信里写明，这项工作不该把所有权交给任何公司或少数被选中的人，包括他们自己。

证据与边界：OpenAI 的发布页这里返回 403，其说法未被引用；仓库 history 文件称这三人为独立工作组，没点别人。半岛电视台所报推迟的物理成果无公开材料，OpenAI 721 篇数学手稿目录里也没有量子色动力学论文。保密协议、报酬、材料和会议四点是 Williams 的话，信里没写；信没有日期。

发生了什么：OpenAI 的 59 页论文署名 OpenAI，标注 10 月 25 日，次日放进公开仓库，证明了 Sogge 猜想在空间维数不低于二的每一种情形，Sobolev 损失可取任意小，p=2 时为零。论文由此推出 Bochner-Riesz 猜想、Stein 平方函数的锐界，以及 Kakeya 与 Nikodym 极大猜想。OpenAI 说，它直接发布的是模型的输出。

为什么重要：已发表的结果里，平面的情形来自 Larry Guth、Hong Wang 与 Ruixiang Zhang，三维的 Kakeya 是 Hong Wang 与 Joshua Zahl 去年做的；这篇一次给出所有维度，并引了 OpenAI 九月的两份预印本，表明它取代了那两份。与同一天发布的复杂性结果不同，这里的 Lean 覆盖了头条主张：所有维度的局部平滑界，以及「在每个方向上都含一条单位线段的集合具有满 Hausdorff 维数」。

证据与边界：OpenAI 之外没有人核验过，而 OpenAI 自己的仓库把这批手稿称作原始研究数据，不是打磨好的论文。球面、抛物面与锥的限制估计只在猜想范围的内部成立，所以限制猜想并没有在这里被解决。同一个仓库在 10 月 7 日因为一个符号错误撤回过三份手稿。

发生了什么：罗氏 Prescient Design 与大分子研究部的团队用语言模型流水线，从 10110 份美国专利抽出 89074 条抗体-抗原记录，再构建 11247 对：一边是专利声明能结合、且无已解析结构的抗体，另一边是序列相近的诱饵。考察六个结构预测模型能否把两者分开。Protenix-v2 最好：全部配对 72%，最有把握的一半 87%，从 50 个候选里挑中真的那个占 29%。最好的模型只在 62.8% 的情况下碰到已标注的表位残基。

为什么重要：筛选设计抗体的团队，习惯把模型的折叠置信度当作结合的替代指标。这给出了它值多少：远好于随机挑选，但远不足以指定一个候选去合成。而且能把结合的与诱饵分开，并不意味着姿势是对的，所以用这些模型读表位是另一个主张，这些数字并不支持。

证据与边界：这里没有任何实验测量：结合的一方来自专利的声明，不结合的一方是假定不结合的抗体库序列，所以这些准确率是对着构造出来的阴性集算的，不是测出来的亲和力。结构不在模型的训练数据里，专利文本则可能在。预印本本身按 CC BY 发布，并称数据集已公开，但没有说明数据集的许可。未经同行评审，全文未读。

作者 Daria Tupikina、Andrea Roncoli、Alexander Bujotzek、Brennan Abanades