BitMiracle称其AI智能体11天证明1974年化学猜想

BitMiracle AI Lab 发布23页论文，宣布其科研智能体 ClawsGO Science 用11天证明了 Fritz Horn 1974年提出的化学反应网络平衡猜想中满足细致平衡的一类情形，且第一步借助了已有定理。该证明由 Claude Opus 5.5 负责决策、指挥136个 GPT 6 Astra 执行，并由 Lean 内核逐步检查，最终写成83个 Lean 文件公开发布。 据论文披露，这项研究是在 ClawsGO Science 内测期间完成的；目前该产品的正式版已上线。

AI 根据报道生成 · 52 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。