数学之后，AI攻进自然科学了！

BitMiracle AI Lab的科研智能体ClawsGO Science让1个Claude Opus 5.5指挥136个GPT 6 Astra，用11天破解了一道1974年提出的化学猜想。

它问的，是化学课本里人人背过的一句话：可逆反应，最终会达到平衡。

一个密闭容器里的可逆反应，不管一开始怎么配料，只要总量相同，最后一定会停在同一个平衡点吗？

1974年，化学家Fritz Horn正式提出了这个问题。此后半个世纪，它一直挂在化学反应网络理论的难题清单上。

这一次，答案是：会。

给出证明的，是AI。

Claude Opus 5.5做决策，GPT6 Astra执行，Lean内核检查每一步。

转折出现在第6天。

几十个执行智能体陆续报回同一个问题：教科书上的那条路，要先补的地基太多，工程量太大。

第二天，卡住的那一步编译通过。这一步，后来成了论文里的关键一步。

严格地说，论文证明的是这个猜想里满足细致平衡的一类情形，第一步借助了已有的定理。从那里到终点，整条证明链都过了机器检查。

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

任务跑在云上，不靠谁的电脑开着。连续11天，每一条命令、每一次输出，都留在任务记录里，随时可以回头查。

过去，一份证明要几位专家逐行审上几个月。现在，它可以附带一份机器检查；过程，可以附带一份完整记录。

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

参考资料：

[1]论文：https://arxiv.org/abs/2610.30808

[2]Lean源码：https://github.com/BitMiracle-AI/detailed-balance-gac

[3]发布推文：https://x.com/bitmiracleai