热点事件持续更新
BitMiracle AI Lab称智能体11天证明1974年化学猜想
1 篇报道1 个报道来源7 小时前更新
先了解这件事
事件综述
2026年10月27日，36氪报道，BitMiracle AI Lab发布23页论文，称其科研智能体ClawsGO Science由1个Claude Opus 5.5指挥136个GPT6 Astra，用11天证明了化学家Fritz Horn于1974年提出的可逆反应平衡猜想，证明已写成83个Lean文件公开。报道未提及该结论是否经同行评审或第三方验证，目前事件处于论文与证明文件公开、外界核验尚未见报道的状态。
根据公开报道整理 · 7 小时前更新
最新进展10月27日 20:09
BitMiracle AI Lab发布23页论文，公开83个Lean证明文件。报道时间线
沿着报道，了解事件的不同侧面。
10月27日
- 36氪公开报道BitMiracle AI Lab的ClawsGO Science用Claude Opus 5.5指挥136个GPT6 Astra，11天证明1974年化学猜想
BitMiracle AI Lab发布23页论文，称其科研智能体ClawsGO Science用1个Claude Opus 5.5指挥136个GPT6 Astra，11天证明了化学家Fritz Horn于1974年提出的可逆反应平衡猜想，证明已写成83个Lean文件公开。
本事件热度走势
当前热度 8·可比范围峰值 10（10月27日 21:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。