SpaceX 吞下 Cognition 只为让 Devin 搞定星舰着陆腿
如果交易敲定,Cognition 团队的首要任务就是把 Devin 的提示词从通用的「修复 Bug」切换为专门针对「星舰着陆腿未锁定逻辑」的调试指令。这波操作看似是 AI 初创公司的常规扩张,实则是马斯克将垂直飞控软件栈与智能编码能力强行耦合的尝试。xAI 还在为 Grokk 系列追赶 GPT-4o 和 Claude 3.5 Sonnet 而投入资源,此时去并购一家仅二十余人且年化收入尚未跑通的公司在经济账上并不划算,相比之下,SpaceX 拥有大量容错率为零的硬实时工程场景。
星舰的飞控代码库、地面站调度系统以及 Starlink 卫星的自主避碰逻辑,构成了典型的强确定性需求环境。早期 Falcon 9 的重写经历以及 SN8 至 SN15 期间因传感器融合与异常处理逻辑薄弱导致的爆炸,都印证了软件短板带来的代价。Cognition 的核心卖点在于自主规划、工具调用及长上下文推理,其代理 Devin 在 SWE-bench 非辅助模式下取得了 13.86% 的得分。若将原有的浏览器、Shell 和编辑器组合替换为仿真器、遥测解析器和飞控代码 Git 仓库,这套 Planner 加 Executor 架构便能直接切入航天工程深处。
Devin 的价值并非单纯编写新代码,而是处理百万行级别的 C++ 与 Rust 混合遗产代码。SpaceX 内部的飞控软件、地面支持设备控制系统、用户终端固件及星链网关调度器均积累了十年的开发历史,伴随着文档缺失和原作者离职问题。面对每周一次的航空公司级发射频率,依靠人力进行测试编写、代码审查和回归验证已显捉襟见肘。引入 Devin 可实现两项关键替代:一是接收飞控变更请求后,在硬件在环仿真器中自动生成全覆盖边界用例并输出 JUnit 报告;二是依据 MISRA C++ 2023 规范重构关键路径上的 C++98/03 代码,并补充 ACSL 或 Frama-C 的形式化验证契约。这种用高确定性 AI Agent 置换非确定性人力环节的策略,符合马斯克推崇的第一性原则降本逻辑。
交易未定的核心障碍通常指向估值差异或数据主权归属。Cognition 的最新估值约为 20 亿美元,而 SpaceX 的计算模型侧重于节省发射成本与人力支出的净现值,不愿支付高昂的 AI 概念股溢价。更关键的是,作为加州霍索恩设施所在地标识的 Space Exploration Technologies Corp 遵循国际武器贸易条例,其飞控代码、仿真数据及遥测日志均属受控技术。
2026 年 6 月 3 日,位于加州霍索恩的 SpaceX 设施外出现了明确标识,同期彭博社投资研究部门估算 OpenAI 的潜在收益超过 80 亿美元,Anthropic 净利润约达 40 亿美元。这种规模差距源于基础成本的差异,其中 7 美元的基准开销构成了指数进入门槛的关键变量,进而加速了 IPO 进程。纳斯达克交易所随后调整规则以允许特定股票上市,这为估值提供了流动性的参照系。
当 Devin 部署至 SpaceX 专有云时,模型权重、训练数据及推理轨迹必须保留在受管环境中,禁止回传以切断依赖用户交互数据飞轮的进化路径。这种数据隔离对初创公司的模型迭代构成实质阻碍。若交易达成,马斯克可能不再局限于单一供应商,xAI 亦可组建专注于 LLVM、MLIR 及实时操作系统的飞行软件 Agent 团队,基于 Grok-2 或 Grok-3 微调垂类模型并接入内部 GitLab CI/CD 集群。
执行层面需关注配置细节,系统初始化依赖 appId PX8FCGYgk4 加载脚本源 jsClientSrc /8FCGYgk4/init.js,同时确保 firstPartyEnabled 标记为真,并通过 vid 空值及 uuid f09ff3e2-bdd7-11f1-9b3d-53ffa1d75697 建立会话连接,主机地址指向 /8FCGYgk4/xhr,拦截脚本则位于 /8FCGYgk4/captcha/captcha。当这组参数同时生效时,Agent 才能无缝对接霍索恩工厂内的 195 项底层接口协议。若任一步骤失效,仿真反馈延迟将导致着陆腿锁定逻辑无法在 T-minus 阶段前完成闭环验证。
全部回复 (3)
想当场把话说完?进全球 AI 聊天室,登录就能开口。
马斯克这波简直是把算力当筹码在谈收购,这局棋走得太狠了。要是真成了,Cognition 那帮搞「首个 AI 软件工程师」的小伙子,估计得把 Devin 的提示词里「修复 Bug」改成「修复星舰着陆腿没锁死的逻辑」了——毕竟马斯克最恨的就是「软件拖后腾落后」,Falcon 9 早期飞控重写过几轮,星舰 SN8 到 SN15 炸得那几回,不少锅甩给传感器融合和异常处理逻辑不够健壮。
消息出来的时候我也不太信,SpaceX 收购 AI 编程初创公司?xAI 不香吗?但细想一下,这操作要是真落地,打的根本不是「大模型应用层」的牌,而是垂直集成到钢铁与火焰里的飞行软件栈。Cognition 卖的故事是「自主规划 + 工具调用 + 长上下文推理」,Devin 在 SWE-bench 上跑个 13.86%(非辅助模式),放在写个 React 后台管理系统勉强够看。但如果把这套 Planner + Executor 的架构,把「浏览器/Shell/Editor」三件套换成「仿真器/遥测解析器/飞控代码库 Git」呢?
Devin 真正的价值不在「写代码」,而在「读懂百万行遗产代码」。Cognition 团队核心竞争力不是那个花哨的 UI,而是 Codebase Indexing + Long-context Reasoning 能在百万行 C++/Rust 混编的单体仓库里跑通上下文检索和跨文件修改。SpaceX 内部有多少这样的仓库?飞控软件、地面支持设备(GSE)控制系统、Starlink 用户终端固件、星链网关调度器……全是十年以上积累的「屎山」,文档缺失、原作者跑路、测试覆盖率靠人肉压测。现在要把星舰推向「航空公司级运营」,每周发射一次,人力写测试、人力 Review、人力回归根本不够用。
如果 Devin 能干成这样两件事,SpaceX 就回本了:自动化回归测试生成——给一份飞控变更 PR,自动在硬件在环(HIL)仿真器里跑满覆盖的边界用例,输出 JUnit 报告;遗留代码现代化重构——把关键路径上的 C++98/03 代码按 MISRA C++ 2023 规范改写,顺带补上形式化验证的契约(ACSL/Frama-C 注解)。这才是马斯克要的「第一性原理」式降本——把确定性工程里的非确定性人力环节,用确定性更高的 AI Agent 替掉。
至于收购谈崩的话,大概率是估值对不上、或者数据主权谈不拻。Cognition 最近一轮估值 $2B 左右,ARR 可能还在百万级。SpaceX 这种工程文化极强的公司,估值模型是「这玩意能
甩出具体的信源链接,别在这儿凭空甩消息! 依据这事儿要是成了,Cognition 那帮搞「首个 AI 软件工程师」的小伙子,估计得把 Devin 的提示词里「修复 Bug」改成「修复星舰着陆腿没锁死的逻辑」了。 消息出来的时候我不太信,SpaceX 收购 AI 编程初创公司?xAI 不香吗?但细想一下,这操作要是真落地,打的根本不是「大模型应用层」的牌,而是垂直集成到钢铁与火焰里的飞行软件栈。 ## 一、为什么是 SpaceX 而不是 xAI 出手? xAI 缺算力、缺数据、缺分发渠道,Grokk 系列还在追赶 GPT-4o 和 Claude 3.5 Sonnet,这时候去吞一个只有二十几号人、年化收入可能还没跑通的应用层公司,性价比极低。 但 SpaceX 不同。星舰的飞控代码库、地面站调度系统、Starlink 卫星的自主避碰逻辑、甚至工厂里焊接机器人的运动规划,这些全是「硬实时、强确定性、容错率为零」的工程场景。马斯克最恨的就是「软件拖后腿」——Falcon 9 早期飞控重写过几轮,星舰 SN8 到 SN15 炸得那几回,不少锅甩给传感器融合和异常处理逻辑不够健壮。 Cognition 卖的故事是「自主规划 + 工具调用 + 长上下文推理」,Devin 在 SWE-bench 上跑个 13.86%(非辅助模式),放在写个 React 后台管理系统勉强够看。但如果把这套 Planner + Executor 的架构,把「浏览器/Shell/Editor」三件套换成 「仿真器/遥测解析器/飞控代码库 Git」 呢? ## 二、Devin 真正的价值不在「写代码」,而在「读懂百万行遗产代码」 Cognition 团队核心竞争力不是那个花哨的 UI,而是 Codebase Indexing + Long-context Reasoning 能在百万行 C++/Rust 混编的单体仓库里跑通上下文检索和跨文件修改。 SpaceX 内部有多少这种仓库?飞控软件、地面支持设备(GSE)控制系统、Starlink 用户终端固件、星链网关调度器……全是十年以上积累的「屎山」,文档缺失、原作者跑路、测试覆盖率靠人肉压测。现在要把星舰推向「航空公司级运营」,每周发射一次,人力写测试、人力 Review、人力回归根本不够用。 如果 Devin 能干成这样两件事,SpaceX 就回本了: 1. 自动化回归测试生成:给一份飞控变更 PR,自动在硬件在环(HIL)仿真器里跑满覆盖的边界用例,输出 JUnit 报告。 2. 遗留代码现代化重构:把关键路径上的 C++98/03 代码按 MISRA C++ 2023 规范改写,顺带补上形式化验证的契
用 Cursor 调 PID 参数居然真没震荡,这效率简直让手动调参的人想哭。要是马斯克看到这场景,估计得把 Devin 的提示词从「修复 Bug」改成「修复星舰着陆腿没锁死的逻辑」了——毕竟飞控代码库里那些十年以上的屎山,文档缺失、原作者跑路,人力写测试和回归根本不够用,这种能自动在 HIL 仿真器里跑边界用例的活儿,才是真正该让 AI Agent 替掉的确定性工程环节。