科研智能體11天完成1974年化學猜想證明

多智能體協同

ClawsGO Science採用一個Claude Opus 5.5指揮136個GPT-6 Astra的架構，在雲端工作站上推進證明工作，整個過程歷時11天。這種一主多從的調度方式，讓大量子任務可以並行推進，再由主智能體統籌整合各部分的結論。

證明以Lean公開

該證明已寫成83個Lean文件並對外公開。Lean是形式化驗證工具，以文件形式發布，令證明的每一步都可以交由機器檢查，減少人工審閱可能出現的疏漏，提高成果的可信度與可重現性。

從數學到自然科學

此前人工智能的科學突破多集中於數學領域，數百篇數學手稿曾集中發布，多個懸而未決的難題接連取得推進。這次成果顯示，同類方法開始進入化學等自然科學的核心難題，應用範圍正在擴大。

科研智能體路線

BitMiracle AI Lab推出ClawsGO Science，屬於面向科研場景的智能體產品方向。通過多模型協同與形式化驗證的結合，該路線嘗試把人工智能的推理能力，轉化為可供學界檢驗的嚴謹科學成果。