搜索
AI 科研智能体破解提出半世纪的化学猜想
9 小时前
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科研基础设施等领域。
