公众号 · 新智元·· 8 小时前精选AI 评分58
BitMiracle AI Lab 用 ClawsGO Science 智能体证明 1974 年化学猜想
突发！Astra联手Opus破解化学半世纪猜想，50年圣杯被攻克
AI 导读
BitMiracle AI Lab 发布 23 页论文，称其科研智能体 ClawsGO Science 用 11 天证明了化学家 Fritz Horn 于 1974 年提出的可逆反应平衡猜想，证明已写成 83 个 Lean 文件公开。
选题角度
原文给出论文、Lean 源码和 11 天证明过程，适合讲清一个 Opus 指挥 136 个 Astra 如何分工攻下 1974 年化学猜想。
来源：公众号 · 新智元 · mp.weixin.qq.com