137. 对洪乐潼的4小时访谈：AI for Math、把数学变成Lean、数学天书中的证明、直觉、被创造与被发现的

2026年，美国诞生了一系列的Neo Labs（新型研究室）。Neo Labs是近年兴起的一个新概念，专指由顶级AI研究者创立、以基础模型或新一代智能体系为目标、融资规模巨大、研究导向很强的一类新型AI实验室。我们133集的嘉宾，来自AMI Labs的谢赛宁是，今天我们邀请的是另外一位。她是《商业访谈录》至今最年轻的一位嘉宾，是一位00后华人女孩，网络空间有人会叫她“数学少女”——她的名字是洪乐潼Carina，这是她第一次接受中文访谈。她探索的方向是AI for Math，所创办的公司Axiom（公理）刚完成2亿美元的A轮融资，估值16亿美金。而她引起很多人的关注，来自于这样一条新闻：57岁美国终身教授小野肯（Ken Ono）突然辞职，去给24岁的华人女孩打工。我们谈论了许多数学与美、被创造的与被发现的数学、数学天书中的证明与公理、最不可能的创业者的创业旅途，当然还有AI for Math。接下来，是我对洪乐潼的访谈。OUTLINE:00:02:14 被创造的与被发现的00:14:38 bounded vs free attention00:32:14 对苦难上瘾00:50:21 数论多美啊!01:02:26 Verve Coffee01:16:23 最不可能创业的创业者01:38:33 没有人喜欢融资02:07:17 小野肯的邮件02:19:51 数学天书中的证明02:24:38 Al for Math03:03:50 把数学变成Lean03:09:59 数学家的直觉03:26:18 登月要么成功，要么失败03:54:17 与数学家共进晚餐LINKS：我们的播客在小宇宙、Apple Podcast、Spotify等全音频平台播出；我们的视频播客在Bilibili、小红书、视频号、抖音等全视频平台播出；如果你想服用文字版，请搜索我们工作室的公众号：语言即世界language is world。DISCLAIMER: 本内容不作为投资建议。CONTACT: [email protected] into the new world-and explore with us!😉

今天给大家带来的是全球大模型季报第9集，这一集的情绪十分复杂。一方面，你会看到正在急速进化的AI革命。Coding把AI从聊天机器人Chatbot第一幕，推向了能够干活的Agent第二幕。研究员们已经不再亲自写代码。广密带来的核心判断是，Coding是新的”AI加速器"，正在加速AGI实现，领先的Coding模型就像领先的GPU。另一方面，社会层面随之进入白领通缩与失业的窗口。整个社会准备好了应对这么剧烈变化的AI革命吗？OUTLINE:00:02:00 第9集季报的概览00:03:28 硅谷体感与洞察过去一个Q，智能水平进步幅度赶上2025全年，推背感非常强，AI奇点时刻应该很快就到最关键转折点就是Opus 4.5 → Opus 4.6模型，算是GPT-3 → GPT-4跨代际提升的模型今年6月之前可能还会再有一个从GPT-3→4水平幅度的跨越，OpenAI/Anthropic新模型都很强，Mythos/Spud下一代也开始训练了，继续加速Coding会是头部的放大器，最顶尖1的人才能放大10-50倍的生产力你是否相信Code可以表达数字世界的绝大多数任务？“语言即世界，代码即方案”如果领先的模型公司不重视Coding，大概率会掉出第一梯队Coding就像Amazon最早卖书一样，借助卖完书把所有仓储物流用户全都拉通了Coding在整个AGI的历史进程中处在什么位置？做好Coding的难点到底在哪里？不只是技术knowhow，更是战略组织和文化问题00:22:10 硅谷御三家内部真实情况00:22:10 AnthropicAll in Coding不是day1这个团队就想清楚的创始人特别hands-on亲自看训练数据，重视数据和重视技术细节刻在基因里偏好“underdog”而非大人物，文化面试非常严格，尤其是看重一个人的文化特质00:33:35 OpenAI在这个时代的过去胜利秘诀，可能是下个时代的毒药过去OpenAI在ChatGPT的成功，让他们专注ToC忽视了Coding重点说下OpenAI做的不好的地方，可以在构建组织的时候借鉴一下OpenAI即将要发布的新模型，是真正意义上的GPT-5吧00:47:13 GeminiGemini 3被高估Coding严重落后，Google最大的战略失误Google是最领先的追随者，资源和布局上没啥绝对短板，但战略跟随OpenAI/Anthropic，掉队可能性很低00:54:16 Meta TBD最有机会的挑战者，已经取代xAI，成为硅谷4号种子00:58:07 xAIxAI短期基本上掉队了，最大问题感觉也是战略摇摆崩溃始于founding team逐渐离开01:02:00 Harness Engineering01:03:57 中国御三家01:05:42 模型是新一代操作系统01:07:01 潜在的社会影响，失业、通缩01:14:36 硅谷新趋势和投资新思考《全球大模型季报》系列追踪：2023: 54. 口述全球大模型这一年：人类千亿科学豪赌与参差的中美景观2024Q1: 64. 和广密聊AGI大基建时代：电+芯片=产出智能2024Q2: 69. 口述全球大模型这半年：Perplexity突然火爆和尚未爆发的AI应用生态2024Q3: 73. AGI范式大转移：和广密预言草莓、OpenAI o1和self-play RL｜全球大模型季报42024Q4: 86. 大模型季报年终特辑：和广密预言LLM产品超越Google之路2025Q1: 97. 25年Q1大模型季报：和广密聊当下最大非共识、AGI的主线与主峰2025Q2-Q3: 112. 和广密聊大模型季报：分化与收敛、全家桶与垂直整合、L4体验与挖矿窗口2025Q4: 127. 大模型季报跨年对谈：和广密预言一场AI War、两大联盟和第三个范式Online LearningLINKS：我们的播客在小宇宙、Apple Podcast、Spotify等全音频平台播出；我们的视频播客在Bilibili、小红书、视频号、抖音等全视频平台播出；如果你想服用文字版，请搜索我们工作室的公众号：语言即世界language is world。DISCLAIMER: 本内容不作为投资建议。CONTACT: [email protected] into the new world-and explore with us!😉

春节节后，一款AI native产品Elys引起了小圈层人的关注，这是一款还在测试，尚且没有全面上线的AI社交产品。某种程度上，它展现了AI时代社交产品的一些雏形：打造赛博分身、分身替你去主动社交、为你转化成真实世界的连接。今天我邀请了自然选择创始人Tristan（张筱帆）来聊聊。他们公司目前有两款产品，分别是AI游戏Eve和AI社交Elys，它们背后的精神内核都是：“人类太孤独了。”接下来，就是我对Tristan的访谈。OUTLINE：02:00 做过陌生人社交、恋爱游戏10:53 毫不犹豫地成立了新公司自然选择，毫不犹豫地做Eve13:23 陪你一起面对世界的Agent16:23 Elys想法雏形，我终于想清楚了AI社交网络应该怎么做：Context的流动20:32 最大的范式转移：传统互联网是低维标签化信息，新的互联网第一次有了Context23:05 Elys产品设计的关键、难点、双重冷却36:56 接下来AI时代唯一重要的事情是，构建主体性45:17 交出Context与用户隐私的博弈48:20 Elys是不是AI版的Tinder？54:35 中国拥有最多Context的公司是谁？（微信？小红书？即刻？）56:20 定义什么是好的Context？01:00:02 AI时代社交 vs 互联网时代社交01:15:15 未来的社交网络01:21:48 ChatGPT可能拓展的社交网络01:28:10 和模型公司的竞争（“我觉得完全不用自己训模型”）01:33:42 北极星指标：真人的连接率01:34:05 你担心Elys是昙花一现的产品吗？01:41:15 我们现在处于终极忙碌“前进4”状态01:46:02 做AI产品和做互联网产品的本质区别（Proactive！）01:49:16 人类太孤独了*对了，我们提到的小实验会在Elys上线时来做:)LINKS：我们的播客在小宇宙、Apple Podcast、Spotify等全音频平台播出；我们的视频播客在Bilibili、小红书、视频号、抖音等全视频平台播出；如果你想服用文字版，请搜索我们工作室的公众号：语言即世界language is world。DISCLAIMER: 本内容不作为投资建议。CONTACT: [email protected] into the new world-and explore with us!😉

2026年，除了嘉宾访谈，我们也很希望推出一些内部人士的产业单集。今天就是这样的一次尝试。我们知道数据、算力、算法，是驱动人工智能的三驾马车。今天这集节目我们邀请我们的返场嘉宾、光轮智能创始人兼CEO谢晨，试图通过一集节目完整聊聊这其中一架马车——数据。我们尝试来做一个“数据的产业综述”。大语言模型的数据遇到撞墙的难题，机器人的数据则处于一片荒漠中。数据产业是如何运转的？一些人正在探索的仿真数据、数据金字塔等将如何改变产业格局？OUTLINE：00:01:07 寻觅00:20:09 综述00:41:39 共生00:48:30 势力01:06:56 历程01:14:45 迹象01:32:00 对照01:42:40 金字塔01:55:31 定价02:02:50 Recipe02:17:06 版图02:28:52 终点LINKS：我们的播客在小宇宙、Apple Podcast、Spotify等全音频平台播出；我们的视频播客在Bilibili、小红书、视频号、抖音等全视频平台播出；如果你想服用文字版，请搜索我们工作室的公众号：语言即世界language is world。DISCLAIMER: 本内容不作为投资建议。CONTACT: [email protected] into the new world-and explore with us!😉

2026年春节，在中国机器人登上春晚的喜乐时分，纽约刚下过一场暴雪——这是近几年以来纽约最凛冽的一个冬天。2月雪后的一天，在布鲁克林一栋略显凌乱的楼房，我与谢赛宁开启了这场始料未及的马拉松式访谈。我们从下午2点开始，直到凌晨时分散去。就在前不久，他与图灵奖得主杨立昆（Yann LeCun）等，踏上了一条关于“世界模型”的创业旅程。他们创立的AMI Labs（Advanced Machine Intelligence Labs），目前仅25人、在没有任何产品的情况下，完成10.3亿美元Seed轮融资，投前估值35亿美元。“Silicon Valley is very LLM-pilled。”AMI联合创始人兼首席科学官谢赛宁说道，“硅谷已经深陷于LLM（大语言模型），完全被它催眠了。”这位出生于1990年的华人科学家，毕业于上海交通大学与加利福尼亚大学圣地亚哥分校，现于纽约大学任教。创业之前，他曾在Google DeepMind担任研究科学家。更早之前，他在Meta的FAIR实验室担任研究科学家4年。他的论文总计引用数近10万次，曾共同提出Diffusion Transformers（DiT）。这是谢赛宁第一次接受访谈。在黑暗浸透的霓虹纽约街头，空气中弥漫着没化完冰雪与难闻烟雾的混合味道。就像谢赛宁的表达，总是带着多重的混合感。OUTLINE:00:01:19 The normal one00:35:40 世界总不让我做Vision00:52:06 学术流浪00:57:43 与何恺明的友谊01:21:05 两次拒绝了Ilya01:37:50 杨立昆和李飞飞往事01:58:30 草蛇灰线：“表征的世界”02:43:55 Research taste与《金刚经》04:11:07 世界模型是什么？04:29:47 从下载互联网，到下载人类04:58:17 和杨立昆创立AMI始末05:45:53 “硅谷被催眠了”06:07:17 自大的人类！06:18:45 “42”LINKS：我们的播客在小宇宙、Apple Podcast、Spotify等全音频平台播出；我们的视频播客在Bilibili、小红书、视频号、抖音等全视频平台播出；如果你想服用文字版，请搜索我们工作室的公众号：语言即世界language is world。本集的文字版：《对话谢赛宁：逃出硅谷！》DISCLAIMER: 本内容不作为投资建议。CONTACT: [email protected] into the new world-and explore with us!😉

我一直有一个疑惑，为什么在中国具身智能行业里，至今我尚且没有遇到像梁文锋、杨植麟这样带有浓重的技术浪漫主义色彩的人。这让我有时有点失落。直到我认识了高继扬，他似乎是技术浪漫的反面，追求极致的效率、生存与工程拆解。这次的访谈时候，星海图的联合创始人许华哲正要离职。这也许是某种信号。高继扬告诉我，机器人是一个链条极长的的行业——很大程度上，你要把头伸进泥土里。接下来，就是我对星海图创始人兼CEO高继扬的访谈。期待2026年，我们和AI共同进步！00:01:49 冲刺型小孩00:12:07 学习曾国藩00:25:30 提高顶会命中概率00:33:46 Waymo是没有创始人的00:55:38 Momenta是极致的反面01:02:25 鲶鱼01:19:26 从一份糟糕的BP开始01:35:26 挣扎着做整机和供应链01:49:32 Data Recipe02:16:33 机器人大脑02:29:37 许华哲的离开02:39:04 我们天然要到土里去02:51:58 狼《对DeepMind谭捷的访谈：机器人、跨本体、世界模型、Gemini Robotics 1.5和Google》《和王鹤聊，具身智能的学术边缘史和资本轰炸后的人为乱象》《逐篇讲解机器人基座模型和VLA经典论文——“人就是最智能的VLA”》【更多信息】免责声明：本内容不作为投资建议。

今天的嘉宾是印奇。他在担任智能汽车技术公司千里科技的董事长之外，最近也迎来一个新的身份：出任大模型公司阶跃星辰的董事长。这次，我和他聊了聊新身份、新阶段与从AI 1.0到2.0转轨与反思。接下来是我对印奇的访谈。期待2026年，我们和AI共同进步！01:31 一个新的身份15:14 残酷的淘汰赛和赌注21:09 重新定义阶跃星辰45:00 打后发战役53:03 AI 1.0到2.0的转轨与反思01:14:32 聪明人的诱惑、技术信仰与技术投机01:37:35 预判01:42:27 姚班、创业和超多元方程《和张祥雨聊，多模态研究的挣扎史和未来两年的2个“GPT-4时刻”》【更多信息】免责声明：本内容不作为投资建议。

过去两年，张月光仿佛消失了。这位产品经理在2023年创造过妙鸭这样现象级AI产品，但在妙鸭走红后，仅3个月他便从阿里辞职。他说，这源于他独自在日本京都的鸭川边，坐了一夜，想清楚了许多重要的人生决定。2024年初，张月光筹措资金，创业沐言智语。这家公司成为那年AI应用型公司里融资额最高的初创公司之一。有人说，投资人在没有产品的情况下，对他“盲注”4轮，累计金额近三亿元人民币。也有人开玩笑，张月光是在拿着融资额的利息养公司。过去两年，我和张月光见了很多次，他在尝试的产品形态每一次都有一些变化，他也并不掩饰自己的困惑，坦言的确有一段时间“看不懂”。转折来自半年前。一位师承于互联网时代的产品经理，当他转向AI，会经历怎样的试错与求索？又要跨越怎样的认知鸿沟？——让我无比意外的是，张月光说，他后来才意识到，妙鸭根本不是AI Native的产品。沐言智语现阶段正在做的有两款主力产品：AI乙女游戏《星眠》，和即将要推出的Agent产品Dokie。他说，他的探索期结束了，他终于找到那个他愿意集公司之重力下注的东西。接下来是我对张月光的访谈。期待2026年，我们和AI共同进步！（张月光坐在鸭川边思考人生的长夜）02:00 嘉宾小传2012年清华计算机毕业，大三发现自己卷不了Coding2018年第一次失败的创业与产品（元音）上次创业到最后非常困惑：不知道自己为什么要开始创业我在字节的两段经历（时光相册、今日头条专项）这次创业前的人生链路：SaaS公司>支付宝>字节>创业>阿里优酷2023年国庆节的凌晨，在京都鸭川边坐着，决定了第二次创业我的原则：“我想35岁-45岁，和同一群人做同一件事情”16:56 在大厂打怪升级的游戏27岁是字节3-2，30岁是阿里P9大厂普遍有两种战役：外部战役和内部战役坦白说，大厂游戏会让绝大部分人变成内部作战的人AI提供了外部游戏的增量，否则只能打内部游戏创业最好的理由是两个：1、你就想当老板；2、你特别想让一件事发生；但凡想发财、想成名，创业的期望收益都很差长视频平台不是平台，就像电影院不是平台一样，说到底它是内容产品2023年我开会说：“从今天开始关于优酷的各种会我都不参与了”28:28 妙鸭不是一个AI Native产品，那什么是？我喜欢One Way Door产品（单向门产品）互联网时代的产品设计是面向流程的设计，好的产品比如微信是游乐园，但也是有限自由度但AI Native产品非常开放，不仅是输入开放，输出也是开放的从互联网产品设计到AI Native产品设计，有一个巨大的范式变化：从流程设计到上下文设计传统互联网产品团队的协作方式在今天很有可能出现问题42:04 设计AI产品究竟需要什么样的AI组织？决策边界在变模糊，Taste变得非常重要，从线形工作变成两段式妙鸭和美图秀秀不在一桌，它本质是写真生意我们发现很难让一个模型做到真、像、美，于是我们让三个模型同时做最多时用了接近2万张推理卡妙鸭添加了我人生的幸福时刻：和同事在亮马桥喝酒那天，日收入破了100万2023年7月到10月忙得屁滚尿流，10月休假决定辞职，一切戛然而止01:01:16 出发第二次创业啦这代AI技术应该是“创造AI人口”，而不是“创造AI服务”AI会被连接到整个人类网络里来今天的专业技能正在贬值，多元化的品味、博学程度决定团队上限“人应该负责Will，人应该负责Skill”2023年作为融资额最高的AI应用公司之一，投资人为什么在没有产品的情况下，“盲注”？行业里的人开玩笑说，“我们天天在花利息”01:14:29 上路后，产品的多次选择和变化一条确定的线路：以交互为核心的AI乙女游戏（星眠）一条不确定的线路：花了1年摸索，做了三四个小产品，比如播客、信息工具、图像工具说说我们为什么之前做了一个播客产品，然后放弃了？新的内容平台的唯一机会：新媒介、新交互，产生新平台Sora绝不可能成为新平台，但是ChatGPT可以我觉得Chatbot的商业空间是难以想象的大，可能是人类有史以来从没见过的商业模式——它背后藏着长程的决策控制的能力抖音式的短视频交互剥夺了你的信息自主权，Chatbot有机会剥夺你的自主决策权它可以控制你，那么它可以拿很高的Take Rate（抽佣率）02:01:21 从模型范式过渡到Agent范式让Agent做到更多你完全做不到的事情Manus是一个“比硅谷更硅谷的童话故事”，Meta买到了一个范式的代表我不想做Manus这样的Agent，即将发布新产品：Dokie我很在意Latency（延迟），希望持续协作为什么Dokie选择PPT这么窄的赛道？——“别说the first了，我们都开始the last了”我的产品哲学：不是the first，90分等于0分，没有人觉得这是AI做的，做出One Way Door/单向门体验回答天问：怎么看待和模型公司的竞争？（应用公司都在用Claude的tool call）星眠做的不是我的AI朋友，Dokie做的是一个突破我能力边界的AI朋友【更多信息】免责声明：本内容不作为投资建议。

上市前夕，智谱CEO张鹏在一次出差途中摔断伤了右腿。到达访谈地点时，他拄着一副拐杖。当时，智谱的上市日期尚未明朗。它与MiniMax之间围绕“中国大模型第一股”的竞争仍在继续，结果并未尘埃落定。张鹏提到一句西方俚语：Break a leg（摔断一条腿），它通常意味着祝你好运。几天之后，结果揭晓。智谱确认于2026年1月8日登陆港交所，成为中国首家上市的大模型公司，这也意味着它将是“全球大模型第一股”。在这个意味深长的时刻，我与张鹏进行了一场3小时长谈。如果一百年后，智谱出现在人工智能的历史书中，你希望它以怎样的方式被写下？“AGI的先行者。”张鹏想了想，说，“一个开路的人。”这是《张小珺商业访谈录》与大家在2026年见面的第一集节目——祝大家新年快乐！期待在2026年，我们与AI共同进步！02:22 吃螃蟹的人20:29 从感知智能到认知智能的摸索29:25 GPT-3来了！40:46 ChatGPT又来了：既焦虑又兴奋的2023年01:09:06 2024年：新的主角01:17:58 Scaling Law的范式演变01:29:56 2025年：向DeepSeek学习01:38:40 开源 vs 闭源01:48:33 IPO：全球大模型第一股02:01:40 开路的人【更多信息】本集由语言即世界工作室与微博财经联合呈现。免责声明：本内容不作为投资建议。

今天这集节目很特殊。我们的录制时间是2025年12月1日，嘉宾是Manus联合创始人兼首席科学家季逸超（Peak）。就在刚过去的凌晨，Meta宣布全资收购Manus。而在节目录制的彼时，收购事件尚未发生。最终，这期节目成为了Manus最后的访谈。00:56 正道少年的荒蛮历险记30:27 哦，我们集体做了一个错误决定！01:07:10 Manus：从0到1亿美金ARR02:32:10 人工智能更像制造业02:59:51 我很害怕Manus变得复杂《95. 对Manus创始人肖弘的3小时访谈：世界不是线性外推，做博弈中的重要变量》