AI要抢SpaceX的王座了？

六月的钟声还没散尽，华尔街已经在准备下一场更大的。据金融时报报道，Anthropic接近敲定IPO承销团，市场预计其上市估值将达到2万亿美元或以上——一旦成真，将超越六个月前刚以1.78万亿美元估值挂牌的SpaceX，成为史上规模最大的IPO。

作为商业航天观察者，这则新闻最刺眼的地方不在AI本身，而在那句话：超越SpaceX。资本市场的叙事主轴，正在从运力换轨到算力，而商业航天的融资窗口，将直接暴露在这场换轨的气流里。

💰 投行抢的不是单子，是话语权

周六晚间，金融时报援引四位知情人士的消息放出细节：摩根士丹利处于获得「左一主承销商」席位的有利位置，高盛则预计出任稳定代理商，负责监管上市初期的关键交易阶段。

注意，「左一」不是排位游戏。这个席位掌控估值谈判走向，并决定哪些对冲基金、机构投资者及主权财富基金获得最大份额的配售——换句话说，它决定这2万亿美元的故事讲给谁听、按什么价格讲。这也是华尔街投行最重要的声誉资本。

费用结构同样值得看。今年6月SpaceX上市时，两家银行的角色恰好互换：高盛任主承销商，摩根士丹利任稳定代理商，两家从逾20家参与机构共享的5亿美元费用池中各分得1亿美元。

pie

title SpaceX承销费用池分配

摩根士丹利 : 1

高盛 : 1

其他20余家机构 : 3

此外，摩根大通、花旗集团和巴克莱也预计获得重要席位——原因很直白：它们此前已向Anthropic提供债务融资。银团与股权承销的绑定，正在成为超大IPO的标配结构。据多位接近投行的人士透露，摩根士丹利的最终任命尚未敲定，仍存变数。

产业判断只有一句：当一笔IPO的费用池和配售权足够大时，投行争夺的不是佣金，而是未来十年科技资产定价权的一张门票。

📊 从SpaceX到Anthropic，叙事正在换轨

把两个事件放在一条时间轴上看，节奏感就出来了。

2026年6月，SpaceX以1.78万亿美元估值完成创纪录的860亿美元融资挂牌，被市场视为硬科技资产的定价试验。仅仅一个季度之后，Anthropic就要登场。

原计划中，Anthropic最快于9月公开递交招股书。但据路透社最新报道，节奏已经调整：9月下旬递交材料，10月中旬启动路演，目标在11月中期选举前完成挂牌。延期的原因，与公司正在敲定的150亿美元信贷额度直接相关——融资落实后，后续流程才能推进。

产业逻辑在于：这两笔超大IPO背靠背登场，本质是市场对高速成长硬科技资产风险偏好的连续压力测试。素材说得很清楚——Anthropic的上市表现，将成为市场对AI资产风险偏好的重要风向标。而风向标一旦摆动，摆的不只是AI，还有所有依赖长钱的长周期资产，星座运营恰恰是其中回款周期最长的那一类。

🧮 1300万行Lean，是AI给资本市场的信任凭证

如果说IPO是资本的排面，那Claude最近干的这件事，就是给排面打的信任地基。

Anthropic宣布，Claude完成了首个端到端、可由计算机完整检查的费马大定理形式化证明：约1300万行Lean代码，超过3万个中间定理，最终证明使用其中约29500个。整个工程规模，超过Lean核心数学库Mathlib的5倍。耗时多少？11天。

这个数字的分量，要放回历史里称。费马大定理困扰数学界350多年，欧拉、勒让德、库默尔一代代推进始终未能拿下。1993年，Andrew Wiles公开宣布证明，审查却发现关键缺口，他又花约一年与Richard Taylor修补，1994年才真正完成。

而「形式化」是另一件更工程化的事：把人类数学家能读懂、可以写「这里显然成立」的证明，翻译成Lean能逐行检查、不允许任何含糊的形式。2000年代就有人提出这个设想；2024年，帝国理工学院的Kevin Buzzard等人正式启动多年社区项目，光第一阶段技术蓝图就写了86页。

必须说清楚：Claude没有发现新的证明路径，它完成的是一次规模惊人的工程化翻译。但这恰恰是航天人最能共情的部分——航天软件工程里，可追溯、可验证、不依赖「显然成立」，本就是行业的基本功。Lean之于数学，就像型号软件的审查体系之于火箭控制代码。

产业判断：当一家公司要为2万亿美元估值背书时，最硬的货币不是演示Demo，而是可机器验证的工程结果。Anthropic选择用形式化证明秀肌肉，本质是在向资本市场输出「可验证的信任」。这一课，商业航天公司同样该抄。

⚔️ 算力与运力，在抢同一批长钱

Anthropic冲刺IPO的同时，对手也没闲着。OpenAI的GPT-6 Astra毫无预警地全量上线，同步面向ChatGPT Work以及Codex的Pro、Enterprise和Business Premium用户开放，API接口全部就绪。OpenAI的Tibo Sottiaux随后确认，GPT-6 Astra已向Plus和Business用户全量推出，并再次重置了额度。

额度当然是受限的：200美元一档的顶级Pro套餐，每周只有200条GPT-6 Pro的调用机会；100美元档同样有明确上限。全量但不无限——这是典型的商业化收紧姿态，先把付费墙立起来。

把三个事件叠在一起看：投行在抢Anthropic的承销席位，Claude在用Lean证明工程能力，GPT-6在全量收割付费用户。AI产业正在完成从「讲故事」到「验证—定价—变现」的闭环加速。

而这套加速动作，消耗的是同一个资金池。算力资本开支所需的能源、土地、芯片与长周期信贷，与星座建设所需的发射运力、频谱与地面站投资，在机构配置表上本来就是竞争项。一位长期覆盖硬科技的基金合伙人私下说得直白：「现在路演桌上，一半的时间在问AI敞口，航天项目得先解释自己和算力有什么关系。」

商业航天必须承认：行业最大的竞争对手，已经不再是彼此，而是AI的资本引力。

⚠️ 留给商业航天的三个提醒

第一，盯住Anthropic的上市表现，把它当作自己融资窗口的温度计。素材已经点明，这次IPO是市场对高速增长AI企业风险偏好的风向标。若挂牌后表现坚挺，硬科技一级市场的胃口会被再次撑开；若破发，商业航天的B轮、C轮将最先感受寒意。

第二，估值锚正在位移。6月SpaceX的1.78万亿美元刚立起新锚，Anthropic的2万亿就要取而代之。当资金在两条回报曲线之间做比较时，回款周期以十年计的星座资产，需要重新回答「为什么值得等」。

第三，可验证性正在成为新的信任货币。Claude用11天、1300万行机器可查代码完成了数学界按多年工程准备的任务——资本市场正在学会为「可验证的工程结果」付溢价。航天公司对外叙事，也应该从渲染情怀，转向交付可逐行检查的里程碑。

小结

SpaceX与Anthropic两个超级IPO背靠背，标志着的不是航天的退场，而是资本注意力的再分配。算力与运力争夺同一批长钱的格局已经形成，商业航天与其焦虑，不如借AI的方法论改造自己：可验证的工程信任、透明的里程碑、以及向新晋估值锚学习定价语言。下一个窗口，属于先完成叙事升级的那一方。