ClawsGO Science 发布云端科研智能体并完成形式化证明

BitMiracle AI Lab 旗下科研智能体 ClawsGO Science 于2026年10月26日公开论文与源码，展示其在云端连续运行11天，完成化学动力学领域全局吸引子猜想的形式化证明，产出83个Lean证明文件与约9300行代码，经21580次编译自检无逻辑缺口。