史上最大 IPO 竞速：SpaceX、Anthropic、OpenAI 同年敲钟意味着什么

核心要点

• $2万亿估值：SpaceX 拟以每股 135 美元发行、募资 750 亿美元，将成史上最大 IPO；它如今是火箭、Starlink、XAI、X 打包的"马斯克集合体"，内含两个好生意和两个烂生意。
• $50亿 ARR：Anthropic 年化收入从 2025 年 1 月的约 10 亿美元一年内冲到 50 亿，已秘密向 SEC 递交 S-1，预计估值超万亿。
• 三巨头同年敲钟：OpenAI 据传也将很快递交 S-1，三家同年上市将在旧金山催生大批新富，加剧贫富分化与"稀缺心态"焦虑。
• 第三波慈善浪潮：Anthropic 八位联合创始人承诺捐出至少 80% 财富，员工捐股配捐最高 3:1，单年规模可能超过盖茨基金会。
• AI 安全承压：上市后指数基金与维权投资者的压力，会让 PBC（公益公司）结构更难顶住"加速主义"，安全决策面临新风险。
• AI 攻克顶级数学：OpenAI 模型证明了最重要的 Erdős 问题之一"单位距离猜想"，被认为达到可登《Annals of Mathematics》的水平。
• 800 名数学家联署：Leiden 宣言担忧 AI 生成的"slop"会淹没并挤掉真正有才华的数学家，连乐观派 Terence Tao 也签了名。

章节时间轴

• 0:00 开场与利益披露 — 三大 AI 公司同年冲刺 IPO，主持人做"特别版"利益披露。
• 1:32 SpaceX 的天价 IPO — 750 亿募资、近 2 万亿估值，拆解这个"马斯克集合体"里的好生意与烂生意。
• 4:40 Anthropic 的疯狂增长 — 从 2023 年那个抗拒赚钱的安全实验室，到一年内 ARR 从 10 亿冲到 50 亿。
• 6:57 对旧金山的冲击 — 新富潮、房价、贫富分化与"稀缺心态"焦虑，房子可用 Anthropic/OpenAI 股票出价。
• 11:36 第三波慈善浪潮 — 80% 捐赠承诺与 3:1 配捐，可能超过盖茨基金会；shrimp welfare 成段子。
• 15:24 上市与 AI 安全的张力 — PBC 结构能否顶住公开市场对"加速"的压力。
• 19:16 普通人的视角与指数规则放宽 — 上市带来民主化监督，散户该不该入场。
• 23:05 Starlink 体验插曲 — 飞机上 200+ Mbps 免费上网将是"最佳营销策略"。
• 23:51 AI 与数学开场 — OpenAI 攻克 Erdős 几何猜想 vs. 数学家联署 Leiden 宣言。
• 25:23 嘉宾 Kevin Hartnett 登场 — Quanta 记者、《The Proof in the Code》作者、Cursor 编辑负责人。
• 26:56 从 IMO 金牌到研究前沿 — 高中数学离研究前沿"无限远"，实验室为何痴迷数学。
• 30:42 Erdős 问题与单位距离猜想 — 从"数学界数独"到攻克可登顶刊的真正难题。
• 34:31 三种态度与 Leiden 宣言 — Tao 居中、"两年内失业"与"AI 没用"两极，数学家的防御性焦虑。
• 44:27 数学是发明还是发现 — 数学会改变但不会消失，人类将继续为机器指方向。
• 47:31 Hat GPT — Airbnb 机器人、特朗普 AI 行政令、George Santos、Meta AI 漏洞、"bomb"音箱、Survivor 剧透。

详细内容

一、SpaceX：史上最大 IPO 与"好生意+烂生意"的打包

Casey 开场就抛出震撼数字：SpaceX 最快下周上市，拟以每股 135 美元发行、募资 750 亿美元，估值落在 1.75 万亿到 2 万亿美元之间，"瞬间跻身全球最大公司之列"1:32。Kevin 形容这是"资本主义史上前所未见的数字"2:19。

两人特别提醒听众，今天说的 SpaceX 其实是一个"科学怪人式的集合体"：它造火箭、做 Starlink，并且不久前还把 XAI 和 X 社交网络纳入麾下，构成马斯克的"Voltron"式企业集团2:19。Casey 给出一个清晰的价值判断：里面有"两个伟大的生意"——可复用火箭（送卫星上天，护城河极深，连竞争对手 Blue Origin 上周还在发射台上炸了火箭）和增长如野火般的 Starlink；同时也有"两个糟糕的生意"——XAI 和 X.com3:063:54。

Kevin 点出一个反讽：本来投资者可以"只要好的、不要坏的"，因为直到不久前 SpaceX 还是纯粹的好生意，但马斯克似乎想把亏损"藏到某处"，于是把他名下最差的两家公司塞了进来3:54。Casey 补充，XAI 正在转型——把原本为自己建的算力租给同样要上市的 Anthropic，于是 SpaceX 被包装成"一家附带 AI neocloud 业务的太空公司，外加一个要变成万能 App 的社交网络"4:40。

二、Anthropic：从抗拒赚钱到史上最大 IPO 之一

谈到 Anthropic，Casey 直接"摇头感叹这种疯狂"，对比一年前的 ARR5:26。Kevin 回忆 2023 年第一次拜访这家公司的情景：那是一群"极其真诚、痴迷 AI 安全"的人，不仅对赚钱无所谓，甚至"主动抗拒赚钱的念头"，在尚未决定要不要做产品时就在摆弄模型；他还记得 Casey 当年写的报道，描述办公室"阴郁而怪异"5:266:11。

但转折惊人："他们确实做出了产品，并且发现自己其实喜欢赚钱、还想赚很多。"如今在 Jackson Square 那个小阁楼办公室待过仅三年后，Anthropic 就要成为史上最大 IPO 之一6:11。Casey 给出数字：2025 年 1 月其年化营收约 10 亿美元，最近已说到 50 亿，"这是硅谷前所未有的增长"6:11。OpenAI 方面信息最少，只知道计划上市、可能本周递交 SEC 文件，预期同样是巨型 IPO6:57。

三、对旧金山的冲击：新富潮、房价与"稀缺心态"

Kevin 把三家（算"两家半"，因为 SpaceX 部分总部在德州和南加州）同年上市放在城市尺度上看：将在旧金山诞生数百乃至数千名新晋百万、千万、亿万富翁，冲击科技圈与本地房市6:57。Casey 的恐惧是"在一个本已严重不平等的城市，不平等会大幅加剧"。他注意到，连拿着中六位数高薪的朋友，在对比那些早期加入 OpenAI/Anthropic 的人时也开始焦虑："这对我意味着什么？我还能过上想要的生活吗？"7:44

Casey 把这与 2010 年他刚到旧金山时的"丰裕感"对比：那时人人都觉得能创业、能过上想要的生活，而且对成千上万人确实成真；如今却"摆回到一种稀缺心态"——没在这两家公司里"上车"，未来就成疑8:29。Kevin 认同这是"地位焦虑时刻"：连一两年前不觉得自己处境不稳的人，现在也开始不安9:16。两人都强调，健康社会需要机会广泛分布；当只剩"一小撮中彩票的人"能过上想要的生活时，就会造成巨大的社会不稳定10:04。

Casey 顺势"邀功"重提自己去年预测节目里的判断：2026 年是在旧金山买房的最后一年，因为今年至少会有一家大型 AI 公司上市，员工暴富后会去买房，如今房市果然疯涨、房子以远超挂牌价成交10:0410:51。本周甚至有报道称，有旧金山房主接受用 Anthropic 或 OpenAI 股票（而非现金）出价；Kevin 认为这些人"很聪明"，因为这些股票升值可能比房子还快11:36。

四、第三波慈善浪潮：80% 捐赠承诺与 3:1 配捐

Kevin 指出这些公司的一个奇特属性：许多员工（尤其 Anthropic，也包括 OpenAI 一部分人）信奉有效利他主义（effective altruism），核心理念是"想最大化影响世界，就该多赚钱再把钱捐出去"。于是旧金山周边的非营利组织、慈善机构、捐赠顾问网络都开始追问：当 IPO 带来数百亿甚至上千亿美元的新慈善资本涌入，会改变什么被资助、是否需要新机构来吸纳11:3612:22。

共同的朋友 Nan Ranshoff 写了篇文章称之为"第三波慈善浪潮"12:22。Casey 当面与她交流后，对"慈善资本的体量之大与吸纳基础设施之少"印象深刻13:08。Kevin 厘清了 Anthropic 做的两件事：一是八位联合创始人承诺捐出至少 80% 财富，仅此一项就可能为慈善预留数千亿美元；二是配捐计划——员工捐一定比例股票，公司不仅 share-for-share 配捐，对部分早期员工甚至 3:1 配捐13:53。按 Nan 的测算，这可能催生"比盖茨基金会更大、且可能连续数年的年度慈善体量"14:38。

这些钱会流向在外界看来"颇为古怪"的领域：圈内半开玩笑说"今年是虾的福利之年"（shrimp welfare 因晦涩原因成了有效利他主义者半开玩笑的宠儿），此外还有全球健康、流行病防范、AI 安全等14:38。Casey 讽刺道："幸好我们撕碎了社会安全网、削减了流行病防范，这样旧金山亿万富翁们就能亲手一点点重建它。"15:24

五、上市与 AI 安全：公开市场会侵蚀安全承诺吗

Kevin 最担心的不是 IPO 会亏钱或公司很投机，而是安全角度：他相信 AI 系统越来越强、能力提升同时带来风险上升；而 OpenAI、Anthropic 偏偏是由担心"营利公司能否安全开发 AI"的人创立的15:2416:10。OpenAI 经历过导致 Sam Altman 被解雇又复职的治理动荡；Anthropic 则把自己设为公益公司（PBC）以削弱股东资本与受托义务对安全决策的影响16:10。但 Kevin 认为这一切在"公开上市、由大投资者和指数基金、退休金持有"的世界里都会变得更难——原本要放慢或拒绝发布危险产品就不易，公开市场再施压"竞速"会更难16:1016:57。

Casey 追问 PBC 结构是否真有用。Kevin 持"两种心态"：PBC 确实比普通公司好，因为这种法律设计允许公司考虑社会责任、投资者也更难以"违背受托义务"起诉；但它们仍是公司、仍受股东意志支配16:5717:43。当真正危险的模型出现时，公司不仅要权衡自己、私人投资者、员工的想法，还要面对公开市场、维权投资者"压在脖子上"，整套结构都会推动加速17:4318:30。

Casey 给出一个反向论点（自称"可能是自我安慰"）：股东压力也能反向起作用——若你发布了能造生物武器的模型，可能会被股东以"我信任你只发布安全模型"为由告证券欺诈，这类"正面压力"或许能阻止公司乱来18:30。对"普通人"而言，Kevin 认为上市也意味着引入更民主的监督与治理：公司必须披露财报、做信息披露、股东可就某些事投票；相比现在普通人"除了阻止后院建数据中心几乎没有任何杠杆",这些都是新杠杆19:1620:02。

关于指数规则，Kevin 指出 NASDAQ 100、S&P 等已经或正在放宽所谓"seasoning period"——以前刚 IPO 的新公司要等 3 到 6 个月乃至一年才能进主要指数，如今部分因这些临近的 IPO 而放宽，让公司更快进入指数篮子20:0220:48。有人担心这让散户暴露于高波动风险，但 Kevin"不太担心"，认为让公众分享 AI 繁荣的上行利大于弊；Casey 则强调（在两人都声明非财务顾问、但 Kevin 自称是持证财务顾问的玩笑后）：既然能在交易所赌比特币、军人能在预测市场赌自己参与的行动，那想买 OpenAI 一股就该有权利20:4821:34。Kevin 进一步说，把收益通过指数基金更广泛地分享不只是"好"，而是"必要"——不能让极少数公司如此快速地集中财富与权力，IPO 虽是很小一步，却是必要的一步22:19。

六、AI 与数学：从 IMO 金牌到攻克 Erdős 单位距离猜想

下半场嘉宾 Kevin Hartnett 是覆盖数学与计算机科学的记者（曾任 Quanta 资深记者），新书《The Proof in the Code》讲形式化数学语言 Lean 如何重塑数学与 AI，现任 AI 编程平台 Cursor 的编辑负责人25:23。

主持人回顾上次聊这话题还是去年夏天，当时 Google DeepMind、OpenAI、Harmonic 三家的数学模型都拿到国际数学奥林匹克（IMO）金牌级成绩——这曾被认为要几十年才可能实现26:56。Hartnett 泼了盆冷水：IMO 再难也只是"世界上最难的高中数学"，离研究前沿"无限远"，几乎是"0% 的进度"，只能算概念验证26:5627:41。

为什么实验室痴迷数学？Hartnett 说原因有二：微软研究员提出的"IMO 大挑战"本是"为研究而研究"；但实验室与创业公司采纳它时动机不同——他们相信"教会模型推理数学，就能让它在其他更具商业价值的事上更强"，正如他高中老师所说，学数学要么为"平衡支票簿"、要么为"教你如何思考"，而"教你如何思考"才是重点28:2629:11。至于模型早期连"2+2=5""素数只有有限个"这类错误都会犯，Hartnett 认为转折既有针对数学题的强化学习（RL on math），也有模型整体能力的普遍提升29:5730:42。

接着是 Erdős 问题。Paul Erdős 是"数学界的 Bob Dylan"，一生在路上、睡同行的沙发、83 岁死于数学会议；他留下约 1200 个他认为有趣的问题，并设了 20 美元、500 美元等小额悬赏，基金至今仍在（Casey 插话"别给 LLM 发钱，它们不需要"）30:4231:27。实验室把 IMO、Putnam 等"山头"刷完后，盯上了这批大多无人问津的 Erdős 问题，让模型批量去解，年初 Twitter 上接连出现"解出第 737 题""第 63 题"的炫耀式公告31:2732:13。

但数学家对此态度冷淡。Hartnett 解释：未解 ≠ 重要——"重要问题"是指其答案会改变人们看待数学的方式，或为解它而必须发展的方法会重塑整个领域；而多数 Erdős 问题只是"精巧的数字谜题"，被 Casey 戏称为"数学界的数独/Wordle"32:5833:45。转折出现在约一个月前：OpenAI 解出被许多人视为最重要 Erdős 问题之一的"单位距离猜想"（unit distance conjecture）——这是很多人尝试过却未解的难题，所用方法"高深而出人意料"，绝非显然技巧的拼凑，结果好到"几乎一致认为可登《Annals of Mathematics》"，真正证明了 AI 能做顶级研究，尽管千禧年大奖难题仍未被攻克33:4534:31。

七、三种态度、Leiden 宣言与"数学是发明还是发现"

Kevin Roose 引入被公认为"在世最伟大数学家"的 Terence Tao：他多年来公开实验 AI，从早期觉得 AI 像"平庸的研究生助手"，到近来认为对前沿研究"具革命性"——他在与 OpenAI 合作的视频里说，如今能把一堆疯狂想法丢给模型去多角度测试，因为"认知摩擦"大降34:3135:17。Hartnett 把 Tao 定位在三种态度的中间：他在普林斯顿高等研究院一个下午就遇到两位 40 岁顶尖数学家，一位试了 Gemini 后嫌它"告诉我明知是错的东西是对的"就关掉、回到老办法；另一位则断言"两年内 AI 会让数学家失业，因为它在所有方面都会严格胜过我们"36:0336:49。Tao 代表的是"思想的喷气背包/钢铁侠战衣"式观点；若现在投票，Hartnett 猜"会让我们失业"垫底、Tao 的中间派居首，而"AI 毫无用处"一年前或许领先、如今正在民调中下滑36:4937:35。

随后聊到"Leiden 宣言"——约 800 名数学家联署、Kevin 形容为一份"非常忧虑的文件"，担忧 AI 被"不负责任或鲁莽地"使用，产生"看似可信却不可靠甚至错误、又难与正确证明区分"的论证37:3538:20。Hartnett 认为这反映一个长期能自我运转、自我规制的共同体面对"巨大外生冲击"时想立护栏、想宣示"这是我们的领域，轮不到你来定什么重要"38:2039:06。他把宣言拆成两层：一是各行业共通的"AI 时代新规则"——比如写证明用了 AI 必须声明；数学预印本平台 arXiv 已声明，若发现 PDF 里有未经编辑的 AI 使用痕迹（如残留的 prompt 元数据、复制粘贴且未审阅），将封禁该用户一年39:0639:52。二是更深的担忧：LLM 擅长的数学问题类型与他们在意的不同，他们怕自己的优先方向被"飞速进步"碾过、注意力与资金被挤走、领域被边缘化而自己说不上话39:5240:38。

Casey 反复追问这是否就是"slop 焦虑"。Hartnett 直言"几乎完全是"：若 AI 能生成真正出色、令人惊叹的证明，数学家就"没有理由再有工作"，会沦为像顶级棋手那样的爱好者42:10。这焦虑既是经济的（养家），也是更深层的——长期独享的稀有天赋如今"普遍可得",这本身就难以消化42:56。Hartnett 还点出更严肃的一点：数学社区的规范产出了大量既实用（理解宇宙、工程、技术）又被视为"人类思想巅峰"的基础发现，若被某种方式"挤掉",可能失去下游收益，也可能失去这一"本质上属于人类的事业"42:5643:42。

Hartnett 一度类比："我们对 AI 写小说、奏鸣曲没那么受威胁，因为我们理解创作背后的人很重要"；Roose 立刻纠正"作家和音乐家其实非常受威胁"，并达成共识：人们一旦知道作品出自 AI 就不会感兴趣43:4244:27。Roose 还指出程序员是个有趣的例外——多数程序员对加速工作的工具很兴奋，没有出现 Leiden 式抵制；而连对 AI 颇为乐观的 Tao 也签了 Leiden 宣言，说明"得小心、得立规矩"44:2745:14。

最后 Casey 抛出哲学问题：数学是发现宇宙的自然规律（而非发明），是否可能某天被"完全解出"，让数学家欢呼"我们要被加速推向学科的终点"了？Hartnett 引用 Tao 十多年前获大奖时的回答——做数学时"感觉像在创造",但他终究视之为"发现"；不过数学家并不担心"数学会被解完"，因为人类可能只知道"实际上 0% 的全部数学"，AI 要好得多才行45:1445:59。对未来，Hartnett 只能推测：很难相信对人类如此核心的活动会"完全消失、被一个按钮取代";他把自己投给中间的 Tao 阵营——人类指导机器、选择给它们设定哪些问题仍会重要，数学会大变、像各行业一样必须适应，但终会产出"相当可观且不同"的东西45:5946:45。

八、Hat GPT 速览

• Airbnb 机器人48:18：旧金山一家名为"the bot company"的初创，被指秘密在房主不知情的 Airbnb 里训练机器人——Ring 摄像头拍到搬入黑箱、墙上贴黑线缆、有人在笔记本旁操作疑似机器人，11 天后房子一片狼藉、橱柜被清空、洗碗机被刮花。房主起诉，索赔 12,383.50 美元。Casey 半开玩笑说"对房东毫无同情",Kevin 反驳不能随便让机器人进来搞砸房子、至少该收清洁费。
• 特朗普 AI 行政令50:35：要求科技公司在发布新模型前"自愿"接受政府审查，审查期从早先版本的 90 天砍到 30 天，足以让前白宫 AI 沙皇 David Sacks 点头。Kevin 翻白眼于全程"自愿"，认为前沿模型早该强制测试；Casey 称美国 AI 监管仍处"凭感觉的宇宙"。
• George Santos 预测市场对赌52:53：联邦机构调查这位前众议员是否内幕交易——他在 Kalshi 上就自己是否出席国情咨文下注；社交媒体先说会去，临近时却被发现押注自己不出席、随后果真缺席。Kalshi 已将此事移交司法部与 CFTC。两位主持人半开玩笑"向这位传奇致敬"。
• Meta AI 漏洞55:12：据 404 Media，黑客只需让 Meta AI 客服机器人更改目标账号绑定邮箱，就能接管高知名度 Instagram 账号，受害者包括奥巴马白宫账号、太空军总士官长账号、Sephora 账号。Casey 调侃"终于找到 Meta AI 唯一的用途"。
• "bomb"蓝牙音箱56:45：联航纽约飞西班牙马略卡的航班起飞约两小时后紧急折返，只因一名 16 岁男孩的蓝牙音箱命名为"bomb",在设备列表里显示出来引发安全担忧。两人吐槽"全英语里大概只有这一个词能逼停飞机,你偏偏选了它"，并喊话机场安检"要有点幽默感"。
• Survivor 剧透59:06：据 Variety，《Survivor》某集因预测市场（Kalshi 与 Polymarket）上流传的赔率被剧透——Aubrey Bco 在本季开播前胜率就被预测超 80%。Casey 借机痛批预测市场"激励人背叛朋友、家人、同事乃至国家",并为"无冕之王"Sie Fields 抱不平。Kevin 与 Casey 还提到一名 Google 工程师据称用内部信息（押注用户搜索内容）在 Polymarket 赚了一百万，被指控——"社会没有一个角落能逃过预测市场的腐蚀"。

金句

这些只是我们在资本主义历史上从未见过的数字。 —— Kevin Roose 2:19

当我告诉你这家公司不仅对赚钱无所谓，甚至主动抗拒赚钱的念头——他们就是一小群极其真诚、痴迷 AI 安全的人。 —— Casey Newton 5:26

在一个本已严重不平等的城市，我害怕我们正要看到不平等大幅加剧。 —— Casey Newton 7:44

我们不能让极少数公司以这种速度增长、把财富与权力如此集中到极少数人手里，这必须被更广泛地分享。 —— Kevin Roose 22:19

拿 IMO 金牌只是在做世界上最难的高中数学，离研究前沿无限远——大概是 0% 的进度。 —— Kevin Hartnett 26:56

如果 AI 能生成真正出色的证明、我们读了都惊叹，那我们就没有理由再有工作了——我们会变成爱好者，就像顶级棋手。 —— Kevin Hartnett 42:10

提到的书·产品·人物

• SpaceX（公司）：拟以每股 135 美元、募资 750 亿美元上市的火箭+Starlink+XAI+X 集合体，本期 IPO 讨论的核心。
• Starlink（产品）：SpaceX 增长迅猛的全球卫星互联网；Kevin 因飞机上 200+ Mbps 免费体验而看好其成为"全球最大公司"。
• XAI / X.com（公司）：被并入 SpaceX 的马斯克资产，被主持人称为内含的"两个烂生意"；XAI 转型把算力租给 Anthropic。
• Blue Origin（公司）：SpaceX 主要竞争对手，被提及"上周在发射台上炸了火箭"。
• Anthropic（公司）：已秘密递交 S-1，估值预期超万亿，ARR 一年从 10 亿冲到 50 亿；以 80% 捐赠承诺与 3:1 配捐闻名。
• OpenAI（公司）：据传将很快递交 S-1；本月攻克 Erdős 单位距离猜想；正被《纽约时报》起诉。
• Hobby Lobby（公司）：被当作玩笑——"会不会也成为 SpaceX 的一部分"。
• Nan Ranshoff（人物）：主持人的共同朋友，撰文提出"第三波慈善浪潮"的概念。
• Gates Foundation（机构）：作为对比标尺——AI IPO 催生的年度慈善体量可能超过它。
• effective altruism / shrimp welfare（思潮/议题）：解释 AI 公司员工慈善动机的背景；虾的福利成为半开玩笑的代表议题。
• NASDAQ 100 / S&P（指数）：放宽"seasoning period"规则让新上市 AI 公司更快进入指数篮子。
• Public Benefit Corporation (PBC)（公司结构）：OpenAI、Anthropic 采用的公益公司结构，讨论它能否抵御公开市场对安全的压力。
• Sam Altman（人物）：被提及 OpenAI 治理动荡中"被解雇又复职"。
• Kevin Hartnett（人物/嘉宾）：Quanta 资深记者、《The Proof in the Code》作者、Cursor 编辑负责人。
• 《The Proof in the Code》（书）：Hartnett 新书，讲形式化数学语言 Lean 如何重塑数学与 AI，下周出版。
• Lean（产品/语言）：书中讨论的形式化数学语言。
• Quanta Magazine（媒体）：Hartnett 此前任职、报道数学与计算机科学的杂志。
• Cursor（产品）：Hartnett 现任职的 AI 编程平台。
• International Math Olympiad (IMO)（赛事）：Google DeepMind、OpenAI、Harmonic 去年都拿到金牌级成绩的基准。
• Google DeepMind / Harmonic（公司）：与 OpenAI 一同在 IMO 取得金牌级成绩的实验室。
• Putnam 考试（赛事）：实验室在 IMO 之后转攻的顶级大学数学竞赛。
• Paul Erdős / Erdős 问题 / 单位距离猜想（人物/问题）：Erdős 留下约 1200 个悬赏小问题；OpenAI 攻克其中被视为最重要之一的单位距离猜想。
• Annals of Mathematics（期刊）：数学顶刊，单位距离猜想的证明被普遍认为可在此发表。
• Terence Tao（人物）：被称"在世最伟大数学家"，AI 数学应用的中间派代表，也签署了 Leiden 宣言。
• Gemini（产品）：一位数学家试用后嫌其"把明知错误的东西说成对的"。
• Leiden Declaration（文件）：约 800 名数学家联署、对 AI 在数学中被滥用表达忧虑的公开信。
• arXiv（平台）：声明若发现未经编辑的 AI 使用痕迹将封禁用户一年。
• the bot company（公司）：被指秘密在 Airbnb 训练机器人并损毁房屋、遭房主起诉的旧金山初创。
• Airbnb（公司/平台）：机器人偷偷训练事件的场景。
• David Sacks（人物）：前白宫 AI 沙皇，对特朗普 30 天审查行政令"点头"。
• George Santos（人物）：前众议员，被调查是否在预测市场就自己出席国情咨文内幕交易。
• Kalshi / Polymarket（产品/平台）：反复出现的预测市场，涉及 Santos、Survivor 剧透与 Google 工程师案。
• Meta AI（产品）：客服机器人被黑客利用以更改邮箱接管 Instagram 账号。
• United Airlines（公司）：纽约飞马略卡航班因名为"bomb"的蓝牙音箱紧急折返。
• Survivor / Jeff Probst / Aubrey Bco / Sie Fields（节目/人物）：因预测市场赔率泄露而被剧透的真人秀及相关人物。

适合谁听

关注 AI 资本市场、科技行业格局与 AI 安全，又想顺带了解 AI 如何冲击数学等基础学科的读者。