本周 AI 圈大事 | Anthropic 冲刺上市、Cosmos 3 开源、Google 全面 Agent 化Chapters欢迎收听本周 AI 圈大事。我是梁阳。0:08开场0:34第一件事:Anthropic 申请 IPO2:10第二件事:NVIDIA Cosmos 33:34第三件事:Google I/O 2026 全面 Agent 化5:17第四件事:OpenAI 模型推翻 80 年数学猜想6:23这一周在说什么7:21结尾0:00 / 7:541×0:08梁阳欢迎收听本周 AI 圈大事。我是梁阳。0:12陈晓我是陈晓。这周 AI 圈的事,挑出来哪一件单说都不小。0:17梁阳是的。这一期我们聚焦四件事:Anthropic 冲刺上市、NVIDIA 在台北发了个开源大模型、Google I/O 全面 Agent 化、还有 OpenAI 用 AI 推翻了一道数学难题。咱们一件一件说。0:34梁阳先说最炸的一件——Anthropic 6 月 1 日宣布,已经秘密提交了美国 IPO 申请。0:42陈晓说是"秘密申请",其实是美国证券法允许的一种流程——公司可以先向 SEC 提交招股书,等到正式路演前再公开,这期间不用把财务数字全暴露给竞争对手。0:57梁阳这一步有多大?上个月底,Anthropic 刚完成了一轮 650 亿美元的融资,投后估值达到 9650 亿美元。就差那么一点,快到一万亿了。1:12陈晓而且这个时间点很有意思——路透社同期报道,OpenAI 也在准备秘密申请 IPO,但 Anthropic 抢先一步。做 Claude 的这家公司,上市时间上跑到了 Sam Altman 前面。1:25梁阳从外面看,两家公司的竞争在加速。算力层面,马斯克的 xAI 还把他的 Colossus 1 超级集群租给了 Anthropic,每个月 12.5 亿美元。考虑到马斯克最近还在法庭上跟 OpenAI 打官司,这个操作确实很有戏剧性。1:46陈晓商业上的逻辑非常清晰:赚钱,同时帮 OpenAI 最大的对手增肥。1:53梁阳如果 Anthropic 按估值在年内上市,这会是 AI 行业第一个真正意义上的超大型 IPO,比 SpaceX 的计划还早落地。对整个行业意味着什么我们等下再聊,先说第二件事。2:10梁阳NVIDIA 6 月 1 日在台北 GTC 大会上发布了 Cosmos 3,定义是"物理 AI 基础模型"。2:17陈晓这个东西我觉得很多人还没意识到它的分量。Cosmos 3 用的是一种新架构,叫"混合 Transformer",里面把推理模型和生成模型配对在一起。它能同时理解和生成文字、图片、视频、声音,还有机器人的动作序列。2:36梁阳换句话说,你给它一张图,它能理解里面的物理关系,然后预测接下来会发生什么,还能告诉机器人该怎么动。2:45陈晓对。黄仁勋说这是"物理 AI 的大爆炸前夜"。之前训练一个机器人要几个月,Cosmos 3 把这个过程可以压缩到几天。2:55梁阳而且它是开源的。模型已经上了 Hugging Face,开发者可以直接下。NVIDIA 同时宣布成立了一个"Cosmos 联盟",成员包括 Runway、Black Forest Labs 这些知名团队。3:11陈晓开源这一步很重要。之前机器人 AI 领域的好模型基本都是闭源的,或者是各家自己搞。NVIDIA 这次推出一个开放基础模型,可以让整个生态快速跑起来。对机器人、自动驾驶、智能制造都有直接影响。3:30梁阳好。第三件事,Google I/O。3:34梁阳Google I/O 在上个月 20 号开幕,发布的东西非常密集。我们挑最关键的说。3:41陈晓最值得关注的是 Gemini Spark。这是 Google 推出的"全天候个人 AI 助手",意思是它不等你问,它主动帮你干活——主动扫你的 Gmail 截止日期、主动生成会议纪要、主动追踪账单里有没有多收钱。4:00梁阳之前的 AI 助手基本都是"你说一句,它做一件"。Spark 代表的逻辑是:它跑在后台,主动盯着你的事情,在你需要之前就准备好。4:12陈晓还有"信息代理",也就是 Information Agents。你可以设定一些条件,比如"帮我找满足这 10 个条件的公寓",然后 AI 在后台自动持续监控各种房源,有合适的主动通知你。相当于给你雇了一个 24 小时不睡觉的助手在外面盯着。4:31梁阳Gemini 3.5 Flash 这个模型也在同期发布,在速度和代码任务上表现很强。不过 Google 的基准测试数据引发了一些质疑,有开发者认为测试条件经过了优化选择。4:46陈晓这是 AI 行业的老问题了,基准测试和实际使用之间的差距。不管怎样,Google 这次的整体姿态已经很清楚:从"给你一个搜索框"变成"替你主动处理事情"。这个方向是不可逆的。5:03梁阳对,这是整个行业都在走的路。OpenAI、Anthropic、Google,都在往 Agent 方向走。接下来说第四件事,也是我个人觉得最"冷门但深远"的一件。5:17梁阳OpenAI 5 月 20 日公布,他们的一个数学模型推翻了一个叫"平面单位距离猜想"的难题,这道题已经存在将近 80 年。5:27陈晓这道题是 1946 年 Erdős 提出来的:在平面上放 n 个点,两点距离恰好等于 1 的配对数,最多能有多少?这道题表述简单,难在证明。现在 OpenAI 的模型给出了一个反例,推翻了数学界此前认为成立的猜想。5:47梁阳这件事的意义不只在于解题本身。AI 做数学题、做竞赛题已经有很多了,但推翻一个有严格证明要求的数学猜想,代表的是一种更深层的推理能力。5:59陈晓而且这件事几乎没有在主流媒体大量报道,大家都在讨论 Anthropic 上市和 Google I/O。但从技术深度看,这件事不比前两件小。如果 AI 真的能在原创数学上突破,对物理、材料科学、密码学的影响是结构性的。6:19梁阳说完这四件事,我们来说说背后那根线。6:23梁阳这四件事看起来分散——上市、机器人模型、AI 助手、数学证明。但有一条线穿起来:AI 不再只是"更好的工具",而是在尝试"主动做事的系统"。6:38陈晓Anthropic 冲击上市,说明资本已经相信这一轮 AI 不是泡沫。NVIDIA 的 Cosmos 3 是在给机器人和自动驾驶打基础,从数字世界往物理世界延伸。Google 的 Spark 和信息代理,是在用户日常生活层面做 Agent 渗透。OpenAI 的数学突破,是在科学发现层面探边界。7:02梁阳四个方向,本质上都是"AI 主动介入"的不同形态。7:07陈晓我觉得今年下半年,用户会越来越明显地感受到这个变化。不是"我问 AI,AI 回答",而是"AI 在帮我盯着一件事,有进展了通知我"。7:18梁阳这一周的四件事,就到这里。7:21梁阳好,本期节目到这里。如果今天这四件事里,有一件你觉得被严重低估了——是 Anthropic 上市、Cosmos 3、Google 的 Agent 逻辑,还是 OpenAI 的数学突破?欢迎在评论区告诉我们。7:38陈晓我猜大多数人会选前三个,但投数学那一票的,是真懂。7:44梁阳我们下期见。