科研工具各管一段：ClawsGO 把全流程装进云端

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月的形式化验证成果，为这一路线提供了一个可查证的技术注脚。至于长程任务的成功率、跨学科通用性与付费团队留存数据，则是这家公司在下一轮融资周期中需要向市场继续提供的答案。