新智元报道
继数学领域取得突破后，AI正式进军自然科学。BitMiracle AI Lab研发的科研智能体ClawsGO Science，仅用11天便破解了一道提出于1974年的化学猜想。
该成果由1个Claude Opus 5.5指挥136个GPT-6 Astra协同完成，相关证明已整理为83个Lean文件并公开。这标志着AI在解决复杂科学问题上的能力正从理论数学向实验与计算科学延伸。
AI破解半世纪化学难题：可逆反应平衡猜想获证
BitMiracle AI Lab最新发布的论文证实，AI成功证明了化学反应网络理论中的经典难题——Horn-Jackson猜想（1974年提出）。该猜想核心在于验证：在密闭容器中，无论初始配比如何，满足细致平衡条件的可逆反应系统最终是否必然收敛至同一平衡态。
尽管“可逆反应终达平衡”是化学常识，但严格的数学证明却困扰学界半个世纪。1972年，Horn和Jackson曾引入类熵函数作为分析工具，将系统演化比作“滚球下山”。然而，浓度趋零的边界区域存在“假谷底”陷阱，导致传统方法难以彻底排除非平衡稳态。这一技术瓶颈直至此次AI介入才被攻克。
示意图：浓度沿熵势能面下降，避开边界假终点，最终抵达真实平衡态
ClawsGO Science架构：决策、执行与验证三位一体
本次突破依赖于ClawsGO Science的多智能体协作架构，其核心分工如下：
决策层：Claude Opus 5.5
负责顶层科研规划，包括路径选择、策略调整及最终命题的形式化定义，确保研究方向的正确性。
执行层：136个GPT-6 Astra实例
承担具体证明撰写、Lean代码生成、编译调试等高强度任务。在第6天遭遇传统路径工程量过大时，决策智能体及时切换策略，次日即打通关键节点。
验证层：Lean定理证明器内核
对每一步推理进行形式化校验，确保逻辑绝对严密。人类专家仅需核对不到60行的命题定义与接口对接，其余证明链均由机器自动验证通过。
ClawsGO Science工作流：决策定调、执行落地、Lean验真
云端实验室：AI攻坚自然科学的基础设施
与纯数学证明不同，自然科学研究高度依赖专业软件环境与算力资源。ClawsGO Science通过预置云端工作站解决了这一痛点：
- 开箱即用环境：集成Lean及其数学库，以及GROMACS、LAMMPS、PySCF、CP2K、BLAST、WRF等533款科研工具；
- 数据就绪：内置91个专业数据库，覆盖61个一级学科；
- 全程可追溯：所有命令与输出自动记录，支持11天连续任务的完整复现与审计。
云端工作站预装工具与数据库按学科分布统计
展望：AI驱动下的科研范式变革
从材料结构模拟、生物序列分析，到药物分子筛选、气象模型运算，ClawsGO Science展现了跨学科通用潜力。AI不仅加速了单一问题的求解，更重构了科研流程：传统需数月的人工审校，现可由机器验证替代；研究过程从“黑盒”变为附带完整日志的可复现记录。
随着ClawsGO Science正式版上线，AI辅助自然科学研究正从概念验证迈向规模化应用阶段。
参考资料：
[1] 论文：https://arxiv.org/abs/2610.30808
[2] Lean源码：https://github.com/BitMiracle-AI/detailed-balance-gac
[3] BitMiracle AI Lab官方发布