突发，Astra联手Opus破解化学半世纪猜想，50年圣杯被攻克

数学之后，人工智能开始攻克自然科学领域了！

BitMiracle AI Lab的科研智能体ClawsGO Science采用1个Claude Opus 5.5指挥136个GPT 6 Astra的方式，仅用11天便解决了一项自1974年提出的化学猜想。

ClawsGO Science在云端工作站上完成的这项证明，已被整理成83个Lean文件公开发布。

这一年，AI首先在数学领域取得了突破。

数百篇数学手稿一次性公布，多个悬而未决数十年的难题接连取得进展。

一个月前，曾有媒体这样评价：

物理、化学、生物学科迟早也会经历这一过程，每个学科都会有这样的时刻。数学，只是率先到达而已。

数学之后，自然科学紧随其后

就在最近，BitMiracle AI Lab发布了一篇23页的论文，让AI破解了一个半世纪前提出的化学猜想。

这个问题涉及化学教科书里人人熟知的一句话：可逆反应最终会达到平衡。

一个密闭容器内的可逆反应，无论初始配料如何，只要总量相同，最终是否一定会停留在同一个平衡点？

1974年，化学家Fritz Horn正式提出了这个问题。此后五十年，它一直位列化学反应网络理论的难题清单。

这一次，答案是肯定的。

给出证明的，是AI。

完成这件事的，是科研智能体ClawsGO Science。

Claude Opus 5.5负责决策，GPT6 Astra负责执行，Lean内核验证每一步。

教科书里的一句话，为何半个世纪未能证明？

将多种物质放入密闭容器。A和B生成C，C又分解为A和B。反应持续进行，浓度不断变化。

最终结果会怎样？会持续振荡吗？某种物质会被耗尽吗？起始条件不同，终点也会不同吗？

1972年，Horn和Jackson发现了一个类似熵的量。反应进行时，这个量只减不增。系统就像一颗沿山坡滚下的球，滚到谷底便是平衡。

他们一度以为问题已经解决。

但山坡上隐藏着一个陷阱：某种物质的浓度可能趋近于零。在那里，坡度几乎变平，看似谷底，实则是个假终点。

排除这个陷阱，成为此后半个世纪里化学家们逐步攻克的核心难题。

一个Opus，指挥136个Astra

这道题在ClawsGO Science中完成。论文详细说明了分工情况。

决策智能体 Claude Opus 5.5

具备良好的科研判断力，负责确定方向：选择路径，调整步骤，最终将整个证明交给机器验证。

执行智能体 GPT6 Astra×136

执行力强，负责具体落实：撰写证明，编写Lean代码，编译，解读错误信息，修改，再次编译。

检查 Lean内核

每一步证明都交由它验证。正确即正确，错误即错误。

转折点出现在第6天。

数十个执行智能体相继报告同一个问题：教科书上提供的路径需要先补充大量基础工作，工程量过大。

决策智能体没有让它们强行推进，而是直接更换了路径。

第二天，之前卡住的那一步编译通过。这一步后来成为论文中的关键环节。

研究者负责确定题目、审核论证、核对机器验证的命题确实对应这道题。需要人工核对的篇幅不到60行。

严格来说，论文证明了该猜想中满足细致平衡的一类情形，第一步借助了已有定理。从那里到终点，整个证明链均通过了机器验证。

AI攻克自然科学，缺少的是一间云端实验室

AI攻克数学，只需一套验证证明的系统即可。

自然科学则不同。

化学家需要运行GROMACS和LAMMPS，计算PySCF和CP2K。生物学家要用BLAST进行序列比对，到UniProt查询蛋白质。气象学家的一次WRF模拟需要运行数天。

每项工作都需要安装、配置、提供数据和算力。许多课题在环境搭建上花费的时间比在构思上还要长。ClawsGO Science为每个任务配备一台云端工作站。

这道题所需的环境开机即用：Lean及其数学库已预先安装并编译完成。执行智能体领取任务后直接开始编写。

同一台工作站上还预装了533个科研软件与工具、91个内置数据库，覆盖61个一级学科。

任务运行在云端，不依赖任何人的电脑持续开机。连续11天，每一条命令、每一次输出都保留在任务记录中，随时可回溯查询。

下一个，轮到你的课题

数学已率先突破，化学也已跟上。

从事材料研究的，可以将一批候选结构的模拟任务交给它。

从事生物研究的，可以让它搭建好序列分析流程，自行运行和检查。

从事药物研发的，可以让它用RDKit筛选一轮候选分子。

从事气象研究的，可以将一次WRF模拟交给它，持续监控直至完成。

以往，一份证明需要多位专家逐行审核数月。如今，它可以附带机器验证结果；过程可以附带完整记录。

数学之后，是整个自然科学领域。

这项研究在ClawsGO Science内测期间完成。

现在，ClawsGO Science正式版已上线。如需了解更多，可访问球盟会· (中国)-官方网站登录入口-QMH SPORTS。

关于BitMiracle AI Lab

BitMiracle AI Lab是一家独立的人工智能研究实验室，专注于长程科研智能体、可验证的AI推理与AI科研基础设施。ClawsGO Science是该实验室推出的全流程科研自动化Agent。

实验室正在进行天使轮融资，同时招募研究员与工程师。

本文来自微信公众号“新智元”，作者：ASI启示录，经授权发布。