AI 科研智能体破解提出半世纪的化学猜想

BitMiracle AI Lab 的科研智能体 ClawsGO Science，以 1 个 Claude Opus 5.5 作为决策智能体统筹方向，136 个 GPT 6 Astra 作为执行智能体落实相关工作，搭配 Lean 内核校验每一步证明，仅用 11 天就破解了 1974 年提出的化学反应网络领域的经典猜想 —— 密闭容器内满足总量相同的可逆反应无论初始配料如何，最终都会抵达同一平衡点的相关情形，完整证明已转化为 83 个可公开的 Lean 文件。此前 AI 已在数学领域接连推进多个悬置数十年的难题，而自然科学研究往往需要配置各类专业科研软件、数据库与算力环境，ClawsGO Science 配套的云端工作站预装了覆盖多学科的大量科研工具与数据库，可支撑长周期科研任务稳定运行并留存完整过程记录，目前该全流程科研自动化 Agent 已正式上线，相关团队正开展长程科研智能体、可验证 AI 推理与 AI 科研基础设施方向的研究。