BitMiracle AI Lab 的科研智能体 ClawsGO Science 用 AI 证明 1974 年化学猜想并正式上线

BitMiracle AI Lab 发布论文称，其科研智能体 ClawsGO Science 由 Claude Opus 5.5 做决策、136 个 GPT6 Astra 执行、Lean 内核逐步检查，用 11 天证明了化学家 Fritz Horn 于 1974 年提出的化学反应网络猜想，即满足细致平衡的一类情形下可逆反应最终达到平衡，证明写成 83 个 Lean 文件公开。