甲小姐对话

今天《甲小姐对话》的嘉宾是我的同门师兄——董彬。他1999年入学北京大学数学科学学院，正好比我大10级。那一代人被称为北大数学的“黄金一代”。 董彬现在是北京大学北京国际数学研究中心博雅特聘教授、北京中关村学院常务副院长。 他的主要研究方向是AI for Math。前段时间，董彬带领团队用自主构建的自动化AI框架证明了“安德森猜想”——这是国内首次实现AI自主解决数学开放问题，并实现了大规模形式化验证。 反差的是，他当年是“误入”北大数院，曾在北大数院基础班60人中排名倒数第二，GPA 2.7（满绩4.0），差点没能顺利毕业。用他的话讲，在北大数院的四年，被“虐得很惨”。 这是一场脑洞大开的对话：我们聊了聊AI for Math的进展和野望，数学在AI浪潮之下正发生颠覆式转变，他分享了他的“登月”野心；我们聊了聊北大数院的往事和“八卦”，以及“数学人”的独有气质；我们也聊了聊一些有趣的话题：当AI能自主证明猜想，人类还有必要学习数学吗？现有期刊体系会不会崩溃？为什么上千位数学家会签署宣言反对AI？数学家会沦为“鉴赏家”吗？ 这也是一场关乎每个普通人的对话。眼下正值高考志愿填报季，无数家长和学生在困惑：AI时代，选择什么专业才不容易被替代？董彬的观点是：“越偏向就业、实用性越强的学科，越在AI的打击范围之内。” 从这里开始，我们的对话越走越深，直到最后他追问：当AI几乎能承担所有“工具价值”，人类如何剥离自身的工具属性，重新定义与分配所谓的“尊严”？ 本期时长2小时16分钟，建议先点赞关注，方便随时回看！别忘了转发分享给更多人～ 【时间线】 00:00:00 开场 00:05:19 误入北大数院 00:17:19 从“倒数第二”到北大教授 00:22:49“四大疯人院”之首：数学天才和其他人 00:34:27“数学是一种极其精确的语言” 00:47:05 两次学术“急转弯” 00:51:45 如果AI不是让你“攀珠峰”，而是“登月”呢？ 00:59:34 AI for Math，无尽的前沿 01:15:30 安德森猜想： AI自己的aha moment 01:29:39 “我为什么非要投期刊呢？以后我们的引用，就不是人引用率，而是AI引用率。” 01:46:37 关于《莱顿宣言》：“火已经烧到鼻子下面了” 01:57:13 “如何重新分配尊严” 02:08:07 “如果AI有暂停键，我会毫不犹豫按下去” 【收看/收听方式】 * 视频版：视频号、Bilibili、小红书、抖音、微博、YouTube等全视频平台播出； * 音频版：小宇宙、Apple Podcast（搜索甲小姐对话）； * 文字版：欢迎关注公众号「甲子光年」，后续将发布《甲小姐对话董彬：AI for Math，无尽的前沿 | 甲子光年》，敬请期待。

SpaceX上市了，我们迎来了史上最大的IPO。 本期对话的嘉宾是我的好朋友张璐。张璐是Fusion Fund创始人，也是SpaceX投资人之一，过去几年，她多次做客《甲小姐对话》。 这一次，我们从SpaceX聊起，聊马斯克的野心，聊太空经济，聊硅谷巨头的生态，聊AI的发展。最终，我们会聊这个时代最重要的话题——一场围绕未来基础设施的战争。 本期播客录制于5月31日，SpaceX上市前的半个月，正处于这场史上最大的IPO的冲刺期。考虑到可能涉及未公开信息以及投资者身份，这一次，关于估值、市值、发行安排等话题不在本期讨论范围中。 当然，就在我们播客播出的这个时间点，它，已经完成了上市。 本期时长2小时05分，建议先收藏再细品！喜欢记得点赞关注和转发~ 文章版也会在「甲子光年」公众号后续发布，欢迎留意。 【时间线】 00:00:00 开场 00:02:49 投资SpaceX的起点 00:04:37 选材料专业，因为童年想造太空电梯 00:08:51 星舰V3发射，新的里程碑 00:11:05 SpaceX不只是火箭公司 00:17:21 马斯克的生态版图 00:21:53 初创公司与基础设施机遇 00:30:00 AI竞争：从模型能力到物理世界的工业竞争 00:33:00 SpaceX与太空经济：要想富，先修路 00:48:05 太空是AI Native与Robotics Native的沃土 00:52:38 马斯克的第一性原理 00:56:00 硅谷AI竞争新格局：谷歌 vs. Anthropic 01:08:36 硅谷AI进入战备状态：非常卷、非常累 01:16:38 AI的整体共识与局部非共识 01:21:53 华人科学家正在成为全球AI的“明星主角” 01:31:27 当AI开始研究AI，人类还能跟上吗 01:38:08 全球AI竞争格局 01:44:36 AI时代的组织变革 02:02:15 按Token收费，还是按效果收费? 本期剪辑：王珽 本期编导：刘亚琼 李姝 本期运营：赵婧怡

2026年，《甲小姐对话》栏目全新升级，以“视频播客+深度文章”的最新组合形态与大家见面啦。 本期嘉宾，我邀请到了童行书院创始人、科幻作家——郝景芳。和过去我对话的很多AI企业家不同，今天和景芳聊，是因为她身上的反差感和“人物弧线”。 她经历了多重身份： * 清华大学物理系本科、天体物理硕士、经济学博士 * 曾在中国发展研究基金会从事宏观经济研究 * 创办童行书院，致力于为城乡儿童提供优质教育 2016年，郝景芳凭《北京折叠》获得雨果奖。小说写的是一个被技术、时间和阶层折叠起来的城市：不同阶层生活在三个空间里，城市在一天中轮流翻转，把不同人群送进各自的时间切片。 十年后，她正在亲手经历另一种“折叠”： 她成了AI Agent重度用户，挥别了所有开发团队，自己带着AI做产品； 她把童行书院拆成9个小公司，总部全职人力是0，正式成为OPC（One Person Company，一人公司）。 这场对话从AI编程“上头”开始，落到一些问题：一个写出了《北京折叠》的人，如何亲手推动“AI折叠”？一个长期关注社会公平的科幻作者，怎么看待AI对世界的连锁反应？当物理、经济学、创业、科幻等视角投向这场复杂系统，是否存在一个统一的认知模型？ 本期时长2小时50分，建议先收藏再细品！喜欢记得点赞关注和转发~ 【时间线】 00:00:00 开场 00:05:00 AI“上头” 00:13:13 一人公司 00:28:15 公司制的“不必要” 00:37:07 就业 00:50:06 “这个漫长的过程可能一代人完不成” 01:03:28 通缩与消费降级 01:07:37 “倒戈的人会越来越多” 01:14:36 普及AI素养应该像普及识字一样 01:20:22 “人类社会唯一颠扑不破的真理就是复杂度会提升” 01:23:45 人是否还“被需要” 01:40:04 “炼化”与“化身” 01:49:56 “你看AI是黑盒，你看另外一个人是不是黑盒呢？” 02:01:48 大脑与认知卸载 02:18:44 孩子 02:24:30 走出12年焦虑 02:29:47 数字永生还是“数字孤魂野鬼” 02:43:36 墓志铭 【收看/收听方式】 * 视频版：视频号、Bilibili、小红书、抖音、微博、YouTube等全视频平台播出； * 音频版：小宇宙、Apple Podcast（搜索甲小姐对话）； * 文字版：欢迎关注公众号「甲子光年」，搜索文章《甲小姐对话郝景芳：从北京折叠到AI折叠 | 甲子光年》

清华毕业赴美，获弗吉尼亚理工大学博士学位后，方磊曾在西雅图任职于早期的微软Azure和必应。2013年，他回北京创办了九章云极DataCanvas——一家以中国古代数学经典《九章算术》命名的人工智能基础设施供应商。 纵观AI发展史，算法、数据和算力的权重持续演变。算法需要千行百业的数据要素，而这一切又需要匹配足够算力。从数据科学家到算力企业家，九章云极DataCanvas董事长方磊的重心也在从数据向算力转变。方磊认为，今年是算力变成公共服务的元年。这一次，甲小姐对话方磊，对于AI算力及算力市场，他有哪些看法及判断？ 嘉宾：方磊 九章云极DataCanvas董事长 主播：张一甲 甲子光年创始人&CEO 加入听友群 欢迎微信搜索 jazzyearxiaojia，加入「甲小姐对话」播客听友群，与大家一起交流AI行业信息，共同投身AI浪潮，添加时请备注【播客听友群】。 关于「甲子光年」 「甲子光年」是一家科技智库，包含智库、社群、企业服务版块，立足中国科技创新前沿阵地，动态跟踪头部科技企业发展和传统产业技术升级案例，推动人工智能、大数据、物联网、云计算、新能源、新材料、信息安全、大健康等科技创新在产业中的应用与落地。