突发！Astra联手Opus破解化学半世纪猜想，50年圣杯被攻克
2026.10.28 · 事件 · AI事件 · 论文预印本
BitMiracle AI Lab用ClawsGO Science智能体11天证明1974年化学猜想
BitMiracle AI Lab的科研智能体ClawsGO Science让1个Claude Opus 5.5指挥136个GPT 6 Astra，用11天破解了1974年提出的化学猜想。证明已写成83个Lean文件公开，整条证明链都过了机器检查。
- ClawsGO Science由1个Claude Opus 5.5做决策、136个GPT 6 Astra执行、Lean内核检查每一步
- 破解的是1974年化学家Fritz Horn提出的可逆反应平衡猜想，答案是会达到同一平衡点
- 证明已写成83个Lean文件公开，论文23页，人核对部分不到60行
- 转折在第6天，决策智能体换路后第二天卡住的一步编译通过，成为论文关键一步
- 云端工作站预装533个科研软件与工具、91个内置数据库，覆盖61个一级学科
为什么值得看
AI从数学攻入自然科学，化学半世纪难题被机器证明
适合谁关注
关注AI科研、化学与自动化实验的研究者和从业者