Hard Fork「Hot I.P.O. Summer」：AI 大厂争相上市、数学家集体抵制、特朗普签 AI 行政令
Hard Fork 本周覆盖了三件相互呼应的 AI 事件：Anthropic 以 9650 亿美元估值秘密提交 IPO 招股书、逾千名数学家联署《莱顿宣言》要求为 AI 在数学领域的使用划定边界，以及特朗普政府签署了要求 AI 公司在发布前沿模型前提供 30 天自愿性测试窗口的行政令。
播客：Hard Fork（The New York Times）
主持人：Kevin Roose、Casey Newton
嘉宾：Kevin Hartnett（The Proof In the Code 作者）
发布日期：2026 年 6 月 5 日
时长：64 分钟
节目主页：Apple Podcasts
这期节目覆盖了同一周内发生的三件相互呼应的 AI 事件：Anthropic、OpenAI 和 SpaceX 同步冲刺上市，超过 1000 名数学家联署声明要求为 AI 在数学领域的使用划定边界，以及特朗普政府签署了一份语气模糊但具有象征意义的 AI 行政令。三件事单独看都值得关注，放在一起看，则像是一个社会正在同时进行经济、学术与政治三场博弈。
第一段：Hot I.P.O. Summer——AI 三巨头冲刺公开市场
Anthropic 的上市逻辑
本周最重磅的消息是 Anthropic 向 SEC 秘密提交了 IPO 招股说明书（Draft S-1）。1
这家公司此前刚刚完成 H 轮融资，估值达到 9650 亿美元，融资金额 650 亿美元，略超 OpenAI 3 月底的 8520 亿美元估值。今年的收入运行规模已达到 470 亿美元（去年全年收入 100 亿美元）——收入增速是这份招股书能够吸引投资人的核心理由。
节目中两位主持人讨论了一个 Anthropic 独有的复杂性：Anthropic 的公益企业（PBC）结构。按照这一结构，公司章程里写明了「对 AI 安全的承诺」，而大量员工的薪酬也和慈善捐赠计划挂钩。上市后，股东价值最大化的压力与 PBC 使命之间的张力，是 Hard Fork 两位主持人反复追问的问题。「你没办法同时是 Dario Amodei 和杰克·韦尔奇，」Casey Newton 的意思是：安全使命和股东利润，迟早会出现需要在两者之间做选择的时刻。
SpaceX 和 OpenAI 的上市竞速
节目录制时，SpaceX 已经正式提交招股书，并将于录制次周开启路演、计划上市。2 OpenAI 则被认为是继 SpaceX 之后，最有可能创下史上最大 IPO 记录的候选。
这三家公司同时奔向公开市场，在 Kevin Roose 看来不是巧合，而是行业成熟度的信号：私人市场的估值已经高到让早期投资人和员工迫切需要流动性；上市恰好是一个集体变现的窗口。节目用了「Hot I.P.O. Summer」这个说法来形容这波热潮，呼应了那首 2019 年夏天火过一次的歌——语气里带着点明知夸张却忍不住的真实兴奋。
对普通投资人的影响
讨论的后半段转向了一个更接地气的问题：如果这三家公司上市，持有标普 500 指数基金的普通人会怎样？Kevin Roose 指出，Anthropic 的 PBC 结构可能意味着它不符合被纳入标准指数基金的条件，这一点与绝大多数 IPO 不同。Casey Newton 则提出，普通投资人的参与路径比持有单股复杂得多，大量市值可能仍然沉淀在机构手里，散户的「普惠」叙事大概率是幻觉。
第二段：超过 1000 名数学家签署《莱顿宣言》
Kevin Hartnett 是这期节目的特邀嘉宾，他的新书 The Proof In the Code 专门讲述 AI 与数学的关系。他在节目里详细解释了这份已获逾千名数学家联署的 《莱顿宣言》（Leiden Declaration） 是怎么一回事。
数学家们在担心什么
宣言文本里列出了五项具体威胁：3
- 当前 AI 生成的数学证明看起来正确但实际可能错误，而同行评审系统还没有能力快速识别这种「貌似合理的证明」
- AI 工具对原始文献的归因极差——模型直接合成了人类数学家多年的积累，却不标注具体来源
- 科技公司的介入正在改变数学研究的激励方向：哪些问题「适合 AI 来做」，就会获得更多资源，而非哪些问题在数学本身有更深刻的意义
- 没有资金和渠道使用前沿 AI 工具的研究者，会在学术竞争中处于系统性劣势
- AI 工具产生的研究结果往往通过新闻稿而非同行评审渠道对外发布，争夺公众注意力
宣言由 16 位数学家起草，背书者包括菲尔茨奖得主 Peter Scholze（马克斯·普朗克数学研究所）和国际数学联盟副主席 Ulrike Tillmann。4
Kevin Hartnett 的观察
Hartnett 在节目里的态度颇为平衡。他没有把宣言解读为「数学家害怕 AI」，而是说：「这份宣言的目标是帮助数学家想清楚自己的职业究竟在捍卫什么。」 数学的核心价值观——开放、可独立验证、严格归因——并不是 AI 天然会保留的东西。
Kevin Roose 追问了一个让讨论有些尴尬的问题：「数学家是不是只是在保护自己的地盘？」Hartnett 承认这种解读存在，但他认为区别在于：职业保护的诉求不妨碍宣言里的具体建议（公开声明 AI 使用情况、确保 AI 辅助完成的论文仍经过同行评审、为缺少 AI 资源的机构提供法律支持和公共资助）本身是合理的学术规范要求。
第三段：HatGPT——本周 AI 头条速览
「HatGPT」是 Hard Fork 的固定环节：两位主持人把当周头条塞进帽子，随机抽出来讨论。本集涉及的头条包括：
特朗普 AI 行政令：6 月 2 日正式签署。核心条款是自愿性的：要求 AI 公司在向公众发布最强前沿模型前，把模型提交给联邦政府进行不超过 30 天的测试（早期草案版本是 90 天，最终缩减）。5 命令明确写明不会强制要求政府预批准，不设立强制规定。出台背景是 Anthropic 的 Mythos Preview 模型展示出强大的网络漏洞挖掘能力后，引发了联邦官员的安全担忧。节目里两人对这份行政令的评价是：「这是一个姿态，不是一个规则。」但姿态本身也说明，连这届最初倾向于「不监管」的特朗普政府也意识到，完全放任前沿模型发布是说不过去的。
Meta AI 被黑：黑客通过社会工程学的方式，直接向 Meta AI 的客服对话框提问，成功获取了高知名度 Instagram 账号的访问权限。6 这个事件在节目里引发的反应比较一致：把账号安全决策交给一个会被话术说服的 AI，是一个预期内的灾难。Casey Newton 说，「如果一个人类客服代表被这样问也可能上当，但 AI 系统在规模上部署后风险是倍增的。」
SF 机器人 Airbnb 事件：一家旧金山初创公司被指控在不知情的 Airbnb 房东家里秘密测试机器人，并造成财产损坏。主持人们的反应是哭笑不得——这件事的奇荒诞程度恰好代表了「AI 落地测试」当下的混乱现场。
完整节目可在此收听：
Loading content card…
编辑观察
这三个主题放在同一集里，不是偶然的巧合，而是同一时代底色的不同切面：
科技公司需要的是资本市场的认可，所以 IPO。数学家需要的是捍卫本学科的话语权，所以宣言。政府需要的是应对舆论压力同时不实质约束行业，所以一份自愿性的行政令。
三者都在同一周内给 AI 「定价」——只是定价的货币不一样。
原始来源
本文内容基于 Hard Fork 2026 年 6 月 5 日播出节目的 Show Notes 及本轮查阅的公开报道整理。
References
- 1
- 2Investing.com: The Trillion-Dollar IPO Test
investing.com
- 3
- 4莱顿宣言官网
leidendeclaration.ai
- 5
- 6
This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.