BitMiracle AI Lab称破解化学猜想
发生了什么
据凤凰网·科技报道，BitMiracle AI Lab发布论文称其科研智能体ClawsGO Science让1个Claude Opus 5.5指挥136个GPT 6 Astra，用11天破解1974年提出的化学猜想；证明已写成83个Lean文件公开。该报道称Claude Opus 5.5做决策、GPT6 Astra执行、Lean内核检查每一步，并提供论文及Lean源码链接。
- 破解猜想提出年份
- 1974年
- Lean文件数量
- 83
报道与来源
1 篇发布方数量不等于独立核验数量。同稿的多个入口保留在对应报道中。
- 凤凰网·科技来源报道
Astra联手Opus破解化学半世纪猜想，50年圣杯被攻克
来源关系与证据边界
按已记录的来源角色展示；连线仅表示原生身份流程确认的同稿入口，不表示独立佐证或跨报道引用。
- 来源报道1 个发布入口