BitMiracle ClawsGO Science 用 Claude Opus 5.5 指挥 136 个 GPT 6 Astra，11 天破解 1974 年化学猜想

BitMiracle AI Lab 的科研智能体 ClawsGO Science 用 Claude Opus 5.5 做决策、指挥 136 个 GPT 6 Astra 执行、由 Lean 内核逐步检查，历时 11 天证明了 1974 年 Fritz Horn 提出的可逆反应平衡猜想中满足细致平衡的一类情形，证明已写成 83 个 Lean 文件公开。