数学领域之后，AI开始进军自然科学了！
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内核则检查每一步的正确性。
BitMiracle AI Lab发布论文的推文
课本中的一句话，为何半个世纪无法证明？
将几种物质放入密闭容器。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行。
严格来说，论文证明的是这个猜想中满足细致平衡的一类情形，第一步借助了已有的定理。从那里到终点，整个证明链都通过了机器检查。
ClawsGO Science中的分工：决策智能体确定方向，执行智能体落实，Lean内核检查每一步。
AI攻克自然科学，缺少的是一间云端实验室
AI攻克数学问题，只需一套检查证明的系统即可。
自然科学则不同。
化学家需要运行GROMACS和LAMMPS，计算PySCF和CP2K。生物学家需要用BLAST进行序列比对，到UniProt查询蛋白质。气象学家的一次WRF模拟，可能需要运行数天。
每项任务都需要安装、配置、输入数据和算力。许多课题在环境搭建上花费的时间比在思考上还长。ClawsGO Science为每个任务提供一台云端工作站。
解决这个问题所需的环境，开机即可使用：Lean及其数学库已安装并编译完成。执行智能体领到任务后，可以直接开始编写。
同一台工作站上，还预装了533个科研软件与工具、91个内置数据库，覆盖61个一级学科。
任务在云端运行，不依赖任何人的电脑是否开启。连续11天，每一条命令、每一次输出，都保留在任务记录中，随时可以回溯查看。
云端工作站预装的软件、工具与内置数据库，按学科领域统计。
接下来，轮到你的课题
数学领域已经突破，化学领域也已跟上。
做材料的，可以将一批候选结构的模拟交给它。
做生物的，可以让它搭建好一条序列分析流程，自行运行和检查。
做药物的，可以让它用RDKit筛选一轮候选分子。
做气象的，可以将一次WRF模拟交给它，一直监控到运行结束。
过去，一份证明需要几位专家逐行审阅数月。现在，它可以附带一份机器检查；整个过程可以附带一份完整记录。
继数学之后，是整个自然科学领域。
这项研究是在ClawsGO Science内测期间完成的。
现在，ClawsGO Science正式版已经上线。
clawsgo.ai
ClawsGO Science正式版
关于BitMiracle AI Lab
BitMiracle AI Lab是一家独立的AI研究实验室，专注于研究长程科研智能体、可验证的AI推理与AI科研基础设施。ClawsGO Science是实验室推出的全流程科研自动化Agent。
实验室正在进行天使轮融资，同时招募研究员与工程师。
本文来自微信公众号“新智元”，作者：ASI启示录，36氪经授权发布。