Astra联手Opus攻克半世纪化学猜想，AI科研智能体验证平衡态反应理论

BitMiracle AI Lab近日发布论文证实，由AI科研智能体ClawsGO Science在11天内成功破解了自1974年提出以来困扰化学界半个世纪的细致平衡猜想。该研究标志着人工智能正式从数学领域扩展至自然科学核心难题的解决。

这项成果由一个Claude Opus 5.5决策智能体指挥136个GPT-6 Astra执行智能体完成，证明过程经Lean内核逐行检查并验证无误。相关证明已编译为83个Lean文件并向公开发布，论文全文共23页。

研究针对的是密闭容器中可逆反应最终是否必达同一平衡点的问题。1972年Horn与Jackson曾利用熵函数建立理论框架，但未能排除物质浓度趋零导致的假终点陷阱，该遗留问题成为此后数十年的攻坚难点。

在验证过程中，执行团队在第6天发现原有证明路径因基础定理缺失而难以编译。决策智能体随即调整方向，次日即实现关键步骤通过，最终完成的证明链覆盖了满足细致平衡的情形，其中仅约60行内容需人工核对命题一致性。

为支撑此类跨学科计算任务，ClawsGO Science为每个任务配置云端工作站，预装533个科研软件工具与91个内置数据库，覆盖61个一级学科。所有模拟指令、输出日志均完整留存，确保研究过程可追溯。

随着正式版clawsgo.ai上线，该智能体平台已向材料结构模拟、生物序列分析、药物分子筛选及气象WRF模拟等应用场景开放，实现从理论验证到多领域科研辅助的转化。