RecodeX 重构消息，BitMiracle AI Lab 的科研智能体 ClawsGO Science 用 11 天破解了 1974 年提出的化学反应网络领域经典猜想：密闭容器内总量相同的可逆反应，无论初始配料如何，最终都会抵达同一平衡点。

该系统以 1 个 Claude Opus 5.5 作为决策智能体统筹方向，136 个 GPT 6 Astra 作为执行智能体落实工作，并搭配 Lean 内核校验每一步证明，完整证明已转化为 83 个可公开的 Lean 文件。

该全流程科研自动化 Agent 已正式上线，配套云端工作站预装多学科科研工具与数据库，团队正开展长程科研智能体、可验证 AI 推理与 AI 科研基础设施方向的研究。