科研智能体ClawsGO Science开源，11天攻克化学动力学50年猜想

BitMiracle AI Lab团队近日宣布，其研发的科研智能体ClawsGO Science正式开源并全球上线。该智能体耗时11天攻克了化学动力学领域悬置50年的全局吸引子猜想，并通过Lean 4形式化内核完成全量机器编译验证，相关学术论文与源码已同步公开。

全局吸引子猜想由化学家Fritz Horn于1974年提出，核心问题是：在满足细致平衡的可逆反应中，当总物质守恒量固定时，系统是否最终必然收敛到唯一平衡态。半个世纪以来，该猜想因边界假平衡态与复杂非线性动态而长期未获完全证明。ClawsGO Science通过多智能体协作完成了严格的形式化证明，全套83个Lean文件、约9300行代码中未使用任何“sorry”跳过步骤，也未新增公理。

据团队介绍，ClawsGO Science由Claude Opus 5.5作为战略大脑负责技术路线拆解与关键节点纠偏，136个GPT 6 Astra执行智能体负责编写证明与批量代码演化，Lean 4形式化内核则对所有证明进行逐行编译验证。任务推进至第6天时，团队曾面临收敛性证明的瓶颈，战略大脑决定放弃LaSalle不变原理，改用初等几何能量下降策略，最终在次日通过全部编译。

该智能体底层为一套面向科研场景的云端工作站，预装覆盖61个一级学科的533款软件及91个科研数据库，包括定理证明器Lean 4、量子化学CP2K与PySCF、分子动力学GROMACS等工具，支持智能体在云端容器内长程调度工具链运行。ClawsGO Science正式版已上线，用户可从GitHub获取源码并在本地完成全量验证。