目前可以确认的方向包括：一个不含新模型的科研工作台（Claude Science）、一套面向仪器的开放接口（MHS，已有具名厂商与实验室接入）、一次由外部湿实验室执行的蛋白设计验证、两项数学结果（费马大定理的形式化与黎曼相关下界），面向科学家的大规模访问计划，以及一间自建的湿实验室，截至 9 月 23 日，这间实验室已发布第一个成果。 公开材料里看不到自建领域模型：Anthropic 的东西几乎都是"通用 Claude + 让产出可被检验的层"。现在这一层里第一次出现了一个由 Anthropic 自己的科学家审查和测试、而非交给外部实验室的实验台结果。
范围说明： 本页只追踪 2026 年可查的公开材料：官方发布、论文、第三方报道与具名合作方披露。没有内部信息。写的是公开材料到哪里为止，不是对这家机构的评价。
概览
| 方向 | 能确认什么 | 最新证据 |
|---|
| 1. 科研工作台 | Claude Science 不是新模型，是 60+ 技能与数据源的集成层 | 2026-06-30 发布 |
| 2. 仪器接口 | MHS 有具名厂商接入与多家实验室测试，CMU 把数周配置压到约 8 小时 | 2026-08-27 研究预览 |
| 3. 蛋白设计 | 15 个靶点中 14 个拿到结合物，命中率 22.6–35.1%，外部执行 | 2026-08-18 发布 |
| 4. 形式化数学 | 11 天、1300 万行 Lean、29,500 条中间定理，外部数学家审阅 | 2026-09-04 发布 |
| 5. 新数学结果 | 临界线零点比例下界从 41.6% 提到 67.2%，模型未发布 | 2026-08-10 发布 |
| 6. 访问计划 | 10,000 席位、最多 50 个项目每项 $30,000 额度 | 2026-07 起，2026-08-28 扩展 |
| 7. 自建湿实验室 | 发布首个成果：智能体标记出一段未经表征的 DNA 重复阵列；实验室实验证实其表达为 RNA。功能未知；规模与人员仍未公开 | Anthropic，2026-09-23 |
1. 科研工作台：Claude Science
能确认的： 2026 年 6 月 30 日发布，官方定位是"an AI workbench for scientists"，"集成研究者最常用的工具与软件包，产出可审计的产物，并提供弹性的算力访问"。
具体内容： 60 多个策展过的 skills 与 connectors；预配置面向基因组学、单细胞、蛋白组学、结构生物学与化学信息学；接入 NVIDIA BioNeMo Agent Toolkit（Evo 2、Boltz-2、OpenFold3）；科学数据库包括 UniProt、PDB、Ensembl、Reactome、ClinVar、ChEMBL、GEO；PubMed、Jupyter、R；用 Modal 按需取算力；支持 SSH/HPC 集群与本地 macOS/Linux 部署。具名早期用户包括 Manifold Bio、Allen Institute 的神经科学家 Jérôme Lecoq、UCSF 脑瘤中心的流行病学家 Stephen Francis。
关键的一点：它不是新模型。 Anthropic 自己的表述是 Claude Science "不是一个新的 AI 模型，也不是一个更强的生物学模型。它运行的就是今天所有人都能用的同一批 Claude 模型"。差异在工作流层，不在模型层。
边界： 官方发布里没有任何一处写明局限。第三方报道指出了一处：内置的引用与计算核查由"reviewer agent"完成，而"它仍然是同一个底层模型在自查，不是独立的事实来源"。可信度：中（官方发布 + 具名用户；无外部评测）。
待核实： 有没有使用这套工作台产出的、可独立复现的科研成果；60 多个 skills 的实际使用分布。
2. 仪器接口：Model Hardware Standard
能确认的： 2026 年 8 月 27 日开放研究预览。MHS 是一套共享规范，让智能体安全操作科研实验室与先进制造产线上的物理设备，覆盖仪器控制、状态、测量与错误。与 HHMI Janelia 共同开发。
已经接入的具名方： 厂商侧有 AWS（通过 Strands Robots 包）、Automata、Danaher、Doosan Robotics、MBF Bioscience、QIAGEN、Tecan、Universal Robots；开源侧有 Hugging Face 的 LeRobot 项目。测试方包括 Genentech、卡内基梅隆大学、QuEra Computing、Tetsuwan Scientific 与华盛顿大学的实验室。
一个可核对的数字： 在 CMU 的早期测试中，一套通常需要厂商配置数周的硬件，其驱动与编排在约 8 小时内完成。公开演示包括剂量-反应实验的自主重跑、实验室机器人之间的无碰撞协同，以及 AI 辅助的量子激光稳定。
边界： 这是研究预览，不是发布版标准；"厂商正在把支持做进产品"与"生产环境已在使用"是两件事。可信度：中高（具名厂商与具名实验室，含可核对的配置耗时）。
待核实： 这些接入是试点还是已进入常规使用；规范的治理方式（谁能改、怎么改）。
3. 蛋白设计：外部湿实验室执行的 14/15
能确认的： 2026 年 8 月 18 日发布。针对 15 个靶点（最初选了 16 个，1 个因数据不确定被剔除），每个靶点要求设计 30 个结合物，全campaign 共生成 1,320 个设计，其中 354 个被合成并测试。使用模型为 Claude Mythos Preview 与 Claude Opus 4.8。
谁执行的： Adaptyv Bio 与 Twist Bioscience "independently produced and tested Claude's designs in the lab"：设计之外的环节在 Anthropic 之外完成。
结果： 15 个靶点中 14 个拿到了结合物。命中率：Mythos Preview 多靶点模式 26.7%，Opus 4.8 多靶点模式 22.6%，Mythos Preview 单靶点模式 35.1%；官方对照口径是"今天的蛋白设计 campaign 里 10–15% 是常见水平"。在 RBX1 这个靶点上，Mythos Preview 单靶点模式命中率 40%，而 Adaptyv 竞赛参与者的命中率是 3.7%，模型的最佳设计优于那场竞赛 245 个参赛设计中的获胜设计。
官方自述的局限： "we intend to follow our experiments with more extensive characterization to confirm our hit rates and affinity measurements"；并明确承认在 BBF-14 与麦芽糖结合蛋白（MBP）等靶点上表现不佳。
可信度：高（外部机构执行测试、有对照基线、有自述局限）。 这是本页证据强度最高的一条：执行不在公司内部，且失败靶点被写了出来。
4. 形式化数学：费马大定理
能确认的： 2026 年 9 月 4 日发布。Claude 在基本自主的状态下工作 11 天，产出费马大定理端到端、可由计算机检验的形式化证明，写下 1300 万行 Lean 代码，证明了 29,500 条最终用到的中间定理。这是目前公开的最大规模 Lean 证明。
外部审阅： 帝国理工的 Kevin Buzzard 审阅了该证明，称这项自动形式化成果"proves Fermat's Last Theorem with no assumptions other than the axioms of mathematics"，并指出"If the automatic formalization of FLT is possible now, then we have taken a big step towards automatic formalization of the modern mathematical literature."
边界： 这不是新数学。Claude 没有发现费马大定理的证明，也没有取代 Wiles 1995 年的工作；Lean 做的是检查每一步是否由定义、公理与先前定理推出。数学界原本预期形式化需要数年，实际用了 11 天。变化的是成本，不是结论。可信度：高（公开产物 + 具名外部数学家审阅）。
5. 新数学结果：黎曼相关下界
能确认的： 2026 年 8 月 10 日发布。一个未发布的 Claude 研究模型把黎曼 ζ 函数临界线上零点比例的已知下界从 41.6% 提升到 67.2%，并给出可形式化检验的证明。
边界： 它没有、也没有声称解决黎曼假设。所用模型未对外发布，外部无法复现产生过程，只能检验它给出的证明。可信度：中（结论可检验，过程不可复现）。
6. 访问计划：席位与资助
能确认的： AI for Science 计划向高影响科研项目提供免费额度；2026 年 6–7 月扩展为支持最多 50 个 Claude Science 项目，每项最高 $30,000 额度（另有最高 $2,000 的 Modal 算力额度），申请截止 7 月 15 日，结果 7 月 31 日前通知，项目周期 9 月 1 日至 12 月 1 日。2026 年 8 月 28 日起，通过面向科学家的 Claude Team 方案，向数学、化学、物理等各领域提供 10,000 个席位，一年内免费或折扣使用。
边界： 这是投入，不是产出。公开材料没有这些项目的成果披露。可信度：高（官方发布，条款明确）。
为什么值得记： 前沿模型访问正在变成研究基础设施，于是它带来和算力、数据、仪器一样的分配问题：谁拿到席位、按什么标准、谁来评审。
7. 自建湿实验室：物理层
能确认的： 2026 年 9 月 18 日，路透社报道 Anthropic 在旧金山湾区建了一间湿实验室，用来做物理生物学实验而不是模拟它们。公司生命科学负责人 Eric Kauderer-Abrams 向路透证实其存在，一位发言人称它"并非专门用于药物发现"，随后拒绝进一步说明。Kauderer-Abrams 的原话是："We believe that to do biology, the final test is still and will be for a while in real lab work."他还表示，生命科学按人头和资源计算已是 Anthropic 最大的投入领域之一；公司在招一名采购与运营负责人，另有职位要求"protein and nucleic acid characterization"方面的专家。路透同时报道，Anthropic 希望推进 Claude 指挥机器人单元、在有限人工介入下执行实验。被问到这一点时，Kauderer-Abrams 的说法是："We're in the very early innings of using AI to automate the execution of lab work."
首个成果，发布于 2026 年 9 月 23 日： Anthropic 自述这间实验室的运行等级是 BSL-1 与 BSL-2，不处理可感染人类的病原体，且"所有实验室工作均由人类科学家完成"。它隶属于 Anthropic 的生命科学部门，与药物发现团队、以及负责用生物学和化学训练 Claude 的团队并列。一个典型工作流程是：Claude 调研某个蛋白家族，阅读相关文献，复现已有结果以检验自己的方法，再去找不属于任何已知系统的家族成员或基因组邻居。用一套协调多个并行会话的自建 harness 这样运行，智能体收集了超过 20 万个逆转录酶（RT）家族成员，筛出 3,500 个候选系统，深入分析了其中 20 个最具说服力的。一个智能体在读取某个异常 RT 旁边的原始 DNA 时，标记出一段此前无人描述过的串联重复阵列："I can see by eye a tandem repeat array … that's a CRISPR-like … repeat array?!"Anthropic 的科学家审阅了该报告，并在实验台上测试了这个候选。该系统被命名为 ART（array-associated reverse transcriptase），主要见于噬菌体；其重复排列在结构上与 CRISPR 阵列相似，首次湿实验证实该阵列表达为一组不同的短 RNA。ART 究竟做什么仍然未知，后续实验正在进行。公告随附一篇预印本。
边界： 生物安全等级、以及"确有一次实验"这两点如今已公开，补上了这一页此前列出的四个缺口中的两个，但规模、人员与启用时间仍未公开，而这项发现本身也止步于结构相似性与一个已确认的表达模式：尚未证实任何功能，且这是一篇预印本，尚未经过同行评审，由 Anthropic 就自家实验室做出报告。Anthropic 明确告诉路透，它仍把一部分生物学工作交给外部合作方，所以这间实验室是补充，不是替代。可信度：中（官方自述 + 附带预印本；尚无独立评审或复现）。
为什么值得记： 本页此前六条可以概括成同一句话：通用 Claude，加上一层让产出可被检验的东西，而检验一律由别人执行，Lean、外部湿实验室、合作实验室的仪器。自建实验台把这个结构改了，现在也有了第一个可以指认的案例：一个智能体注意到一处此前无人标记的异常，一次由人主导的实验在 Anthropic 自己的实验台上核实了它。需要同时说清的是另一半："Anthropic 已经有一间自主生物实验室"目前仍是过度表述。Claude 提出假设并协助解读数据；审阅报告、决定是否测试、动手做实验的都是人。9 月 23 日改变的是："very early innings"现在挂上了一个具名的结果，而不再只是一句意图表述。
查不到的部分
- 用 Claude Science 做出的、可独立复现的科研成果；
- MHS 的接入方里哪些已进入常规使用，哪些还停在试点；
- 蛋白设计的后续更完整表征结果（官方称会做）；
- 黎曼结果所用研究模型是否会对外开放；
- 10,000 席位与 50 个资助项目的产出披露。
- 自建湿实验室的规模、人员与启用时间；ART 究竟有什么功能；对 ART 预印本的独立评审。
方法与范围
范围： 只收录 AI 被用于科学研究的工作，通用模型能力与消费级产品不计入。
可信度按条标注，不按方向标注。 标注口径：
- 高：有公开产物、外部机构执行或具名专家审阅；
- 中：官方发布或公司自报，细节可查但无外部核验；
- 低：单一来源主张、口头表述，或存在公开争议且复核未完成。
两条操作规则： 修订版按版本记日期，不当作新项目；"项目存在"的证据不等于"技术已经成立"的证据。
主要信息来源
官方发布与研究
第三方报道
