ClawsGO Science云端跑11天：化学猜想形式化证明与商业化路径

2026年10月26日，BitMiracle AI Lab 公布了一篇23页论文和配套源码。旗下科研智能体 ClawsGO Science 在云端连续跑了11天，对化学动力学领域1974年提出的全局吸引子猜想中细致平衡的情形完成了形式化证明，产出83个Lean证明文件、约9300行代码，21580次编译自检下来没有出现逻辑缺口。该成果尚未经过同行评议，学术价值还有待学界检验。不过作为一次智能体无人值守的长程科研执行，它为这家成立不足两年的公司留下了一个可核验的技术节点。

这家公司的运营主体是北京比特奇迹科技有限公司。ClawsGO Science 面向科研场景，是一个云端AI智能体，2026年9月起经36氪等媒体公开报道，眼下处在公开上线后的早期商业化阶段，正在推进下一轮融资。

科研流程被工具链割裂，长程任务缺少稳定执行环境

科研工作的产出形态早就是高度数字化的，流程本身却还散落在不同工具里。文献检索与阅读、数据清洗与统计建模、图表绘制、论文撰写与排版、投稿格式调整与返修，每一段都有成熟的独立工具，偏偏缺一条贯通的执行链路。研究者花在环境配置、数据迁移、格式对齐和版本回溯上的时间，常常和创造性劳动差不多，可这些环节并不构成学术成果的核心价值。

通用编程智能体普及之后，这个矛盾并没有自然消解。通用智能体的运行周期通常围绕一次交互来设计，碰上链条长、单步容易失败的科研任务，在检索、读取、建模、绘图、写作之间多次跳转，就容易失忆或中断。科研任务还有两项硬要求：结论与数据必须能追溯到来源，运行环境必须能复现。光把代码生成能力搬进浏览器，并不能解决科研工作的长程性和证据链问题。

政策与市场数据同样在朝这个方向靠。2026年6月，国家数据局印发《关于推进行业高质量数据集建设行动的实施方案》，这是行业数据集层面头一回对科学研究等领域的高质量数据建设作出部署。QY Research的测算显示，全球AI for Science市场2025年约45.38亿美元，2032年有望到262.30亿美元，其间年复合增长率约28.9%，软件平台在其中属于最主要的产品形态。需求、政策再加上算力成本下降，几股力量撞在同一个时间窗口里，科研智能体也就成了独立于基础模型能力之外的一层产品。

把环境、执行与交付封装成一台云端科研机器

用一个说法概括 ClawsGO Science 的产品形态：原本需要研究者在本地手工串起来的环境、工具与流程，被封装成一台跑在云端的科研机器。每个任务会分到一台预装科研环境的云主机，用户用自然语言描述研究目标，智能体自主拆成子任务并连续推进，网页端、移动端和桌面客户端同步显示任务状态。要访问本地数据或自有算力时，用户也能把任务切回本机，或者通过SSH接入实验室GPU主机。产品还提供macOS与Windows桌面客户端。

架构上，产品在通用智能体内核之上补了两层工程能力。一层是长程执行机制，任务可以围绕研究目标连续运行数小时，中断后从断点恢复；另一层是任务图与多子智能体协作机制，复杂任务被拆成可并行推进的子任务，用户能在面板里查看整体进度和各子任务状态。写作环节提供原生LaTeX工作台，源码与PDF实时对照编译；科研绘图以可复现包的形式交付，每张图都保留对应的代码、数据与运行环境记录。每次执行的环境、命令、文件修改与检索动作全部留痕，整轮工作随时可以回放，这个设计直接回应了科研场景对证据链的要求。

上述架构经受的一次集中检验，是10月公开的全局吸引子猜想形式化验证。团队公开论文以及界面新闻、CSDN等媒体的报道显示，这项任务走的是双层多智能体架构：决策模型负责把握方向，百余个执行模型并行推导，确定性校验交给数学定理证明器Lean。第6天教科书常用路线走不通后，决策模型转向初等几何能量下降路线，随后全线编译通过。学术上的认定还得等同行评议，工程层面的含义却已经摆在那里：智能体能在无人值守的情况下，围绕一个严肃科学问题连续工作一周以上，并交出机器可验证的结论。

以订阅与算力计费切入个体研究者，机构侧规划私有化部署

收费方式上，产品以会员订阅加算力计费为主。AI用量按token折算成算力，每一步实际用了哪个模型、消耗多少，都逐笔可查；服务器运行时长不单独计费，算力成本并进模型调用服务里。这种结构把研究者的可变成本限定在任务本身，用户不用长期养着闲置算力，也省掉了本地高性能设备的一次性投入。目标用户包括研究生、高校教师、独立研究者与企业研发团队，前者的诉求是缩短日常科研流程，后者更看重流程规范、数据隔离与私有化部署；面向机构客户，团队打算提供私有化部署和前置工程师共建模式。现阶段产品仍处在产品验证与早期商业化并行的阶段，具体付费用户规模、复购率与营收数据都还没有公开披露。

从校园工具到科研智能体，围绕已出现的需求收窄战场

创始人吕浩然2004年出生，是吉林大学计算机专业学生，大二休学创业，此前在百度做过约四个月AI产品经理实习生，又在创投机构奇绩创坛实习约两个月。创业的起点是校园里的AI账号工具，以及2025年初一款围绕数学建模比赛的辅助产品；2025年末公司试着做覆盖多种专业场景的通用智能体，后来发现早期用户中约有一半在做科研，其中不少是教师与研究人员，团队便在2026年把产品收窄到科研场景，形成现在的 ClawsGO Science。

公司层面的时间节点同样分明。运营主体北京比特奇迹科技有限公司2024年11月成立，注册资本10万元人民币，法定代表人吕浩然，工商登记的经营范围包括软件开发与人工智能应用软件开发；团队还设了比特奇迹（长沙）科技有限公司，2026年8月在湖南股权交易所大学生创新创业专板挂牌，挂牌代码310293HN。产品端，中国版和全球版是两个独立入口。36氪此前报道称，下一轮融资的钱计划投向三块：长程任务调度与多模型路由的工程优化、企业级私有化部署的产品化，以及科研团队的扩充。

眼下这条赛道上的较量，已经从通用编程助手往专用场景蔓延。一边是基础模型厂商把手伸向科研领域，另一边是垂直创业公司从实验设计、文献挖掘这些环节切进来。ClawsGO Science 给自己划的边界不太一样：它要做科研全流程，而不是守在某个单点功能上。10月拿出的形式化验证成果，算是给这条路线添了一个能查证的技术注脚。

长程任务的成功率能到多少、跨学科够不够通用、付费团队留不留得住，这些数字和表现，是这家公司在下一轮融资周期里还得继续向市场交代的。