ClawsGO 11天破解50年化学猜想 正式版上线

时间：2026年11月1日（ClawsGO Science 登陆 Product Hunt 当日）。这项成果此前已在 10 月 27 日至 30 日间由新智元、IT之家、C114 等国内媒体陆续报道。 地点：北京（研发方 BitMiracle AI Lab，官网备案号 京ICP备2026019684号-12），线上入口为 Product Hunt 与 clawsgo.ai。 人物：BitMiracle AI Lab 团队；决策智能体 Claude Opus 5.5；136 个 GPT 6 Astra 执行单元；Lean 4 形式化内核；1974 年提出全局吸引子猜想的化学家 Fritz Horn。 事件详情：BitMiracle AI Lab 的全流程科研自动化 Agent ClawsGO Science 正式版已上线，并在 Product Hunt 首次亮相。产品为每个任务分配一台云端工作站，预装 533 款科研软件与工具、91 个内置数据库，覆盖 61 个一级学科；研究者给出问题后，智能体在云端容器内自行完成检索、阅读、证明、编译与核对，全过程可回放。实验室公布的一项代表性成果由该系统在测试期完成：用 11 天破解了 1974 年由化学家 Fritz Horn 提出的全局吸引子猜想，论文共 23 页，同步公开 83 个 Lean 文件、约 9300 行证明代码，其中 sorry 数量为 0、新增公理为 0，累计完成 21,580 次编译自检。分工上由 1 个 Claude Opus 5.5 判断技术路线，136 个 GPT 6 Astra 编写证明与 Lean 代码，Lean 4 内核逐行校验；第 6 天执行单元反馈教科书经典路线工程量过大，决策智能体改用几何能量下降策略，次日卡住的证明编译通过。新智元报道称，论文中需要人工核对的部分不到 60 行。 背景：全局吸引子猜想问的是中学化学里的一句常识是否必然成立——密闭容器里的可逆反应，只要总物质守恒量固定，无论初始配比多极端，最终是否一定收敛到同一个平衡态。1974 年 Horn 提出后，边界上的假平衡态与复杂的非线性动力学，让这个问题半个世纪无人给出完整证明。此前 AI 在数学领域已推进多个悬置数十年的难题，而化学这类需要专业软件、异构环境与长时间演化的自然科学问题，长期被认为更难由模型攻破。新智元报道称，该实验室正在进行天使轮融资。 影响：如果「大模型决策 + 机器形式化验证 + 自动化科学工作站」这套闭环能够复制，AI 科研的产出就不再只停留在手稿层面，而是进入可复现、可批量验收的工程流程，药物候选筛选、材料模拟与生物信息流程编排都可能沿用这一形态。对研究者而言，提出可验证命题、设计判据、检查机器证明，正在变成比写提示词更稀缺的能力；模型强弱之外，环境与工程正在成为新的竞争点。 总结：ClawsGO Science 的看点不是「AI 又写了一份报告」，而是把证明交给形式化内核、把工具装进云端工作站、把每一步都留下可回放的记录，让一次 11 天的科研任务有了确定性的验收方式。与宣称「AI 解决难题」的产品不同，它交出的是 83 个可以下载复现的 Lean 文件，而不是一个结论。从正式版上线到登上 Product Hunt，ClawsGO Science 把 AI for Science 从演示推到了可交付的产品形态。 常见问题： 问：ClawsGO Science 是什么？ 答：BitMiracle AI Lab 出品的全流程科研自动化 Agent，在云端工作站上完成检索、分析、证明与写作。 问：ClawsGO Science 下载后能做什么？ 答：官网提供网页端与客户端入口，提交研究问题后由云端智能体调度预装的科研软件与数据库完成。 参考来源： IT之家《136个大模型集群作战！Astra联手Opus攻克50年化学难题，AI离「自主科研」还有多远？》 https://www.ithome.com/1/020/228.htm 科技区角转载新智元《突发！Astra联手Opus破解化学半世纪猜想，50年圣杯被攻克》（2026-10-27） https://www.x-techcon.com/article/202878.html C114《AI 科研智能体破解提出半世纪的化学猜想》 https://www.c114.net.cn/ainews/138549.html ClawsGO Science 官方中文站：产品与功能介绍 https://clawsgo.cn/ ClawsGO Science 官方更新日志：版本与上线记录 https://clawsgo.cn/changelog ClawsGO Science 官方国际站 https://clawsgo.ai/