SpaceX 曾试图收购 Cognition

消息出来的时候我不太信，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 规范改写，顺带补上形式化验证的契约（ACSL/Frama-C 注解）。

这才是马斯克要的「第一性原理」式降本——把确定性工程里的非确定性人力环节，用确定性更高的 AI Agent 替掉。

三、收购谈崩/没谈成的核心分歧在哪？

大概率是估值对不上，或者数据主权谈不拢。

Cognition 最近一轮估值 $2B 左右，ARR 可能还在百万级。SpaceX 这种工程文化极强的公司，估值模型是「这玩意能帮我省多少发射成本/人力成本」，按 DCF 算出来的价格，绝对不给溢价几十倍的「AI 概念股」溢价。

更关键的是数据隔离。SpaceX 属于 ITAR（国际武器贸易条例）管控实体，飞控代码、仿真数据、遥测日志全是受管制技术数据。Cognition 要把 Devin 部署到 SpaceX 专有云里，意味着模型权重、训练数据、推理轨迹全得留在受管环境里，甚至不能回传给 Cognition 做模型迭代。这对一个依赖「用户交互数据飞轮」优化 Agent 行为的初创公司来说，等于切断了进化路径。

四、后续会怎么演？

我觉得马斯克不会死磕 Cognition 这一家。

• 方案 A：xAI 自己组建「飞行软件 Agent 团队」，招几个懂 LLVM/MLIR、懂实时操作系统（RTOS）、懂形式化验证的系统研究员，基于 Grok-2/3 微调一个垂类模型，接入 SpaceX 内部 GitLab CI/CD 和 HIL 仿真集群。这才是马斯克风格——**自研核心