甲小姐对话

2007年，苏炜杰进入北京大学数学科学学院，本科专业成绩年级第一。同一级里，有今年的菲尔兹奖得主王虹和邓煜。这一级，被称为北大数学的“白金一代”。 2026年8月，苏炜杰获颁考普斯奖（COPSS Presidents’ Award），这一奖项被称为“统计学界的诺贝尔奖”。这是华人学者时隔14年再次获得这一殊荣。 也是今年，这位宾夕法尼亚大学沃顿商学院正教授，开启了学术休假，加入了OpenAI。 北大数院2007、COPSS、OpenAI……几重身份叠加，让苏炜杰站在了时代的暴风眼中。 2026年，AI正加速在数学前沿突破： 5月20日，OpenAI宣布，其模型推翻了Erdős单位距离猜想； 7月19日，Anthropic研究员、数学家Levent Alpöge公布了Claude找到的雅可比猜想三维情形下的反例，这一异常简洁的反例迅速引发广泛关注； 8月1日，OpenAI公布了Astra模型在数学和理论计算机科学上的10项进展； 8月2日，Levent Alpöge称，他用Fable挑战同一批问题，经过24小时，已做出其中5个； 8月10日，Anthropic公布了黎曼ζ函数相关问题的一项进展； 9月3日，OpenAI公布了GPT-6 Astra在素数间隔问题上的两项进展：沿着张益唐开启的有界素数间隔研究方向，证明存在无穷多对间距不超过186的相邻素数，并改进了大素数间隔下界中一个80多年未变的项； 9月4日，Anthropic宣布，Claude用11天完成了费马大定理首个完整、经计算机检验的Lean形式化证明； 就在本对话发布前，当地时间9月8日，OpenAI宣布，其内部模型构造出了三维不可压缩Navier–Stokes方程在光滑外力作用下的有限时间爆破反例，并公开了论文和形式化证明——这项成果对应七大千禧年难题之一的Navier–Stokes存在性与光滑性问题；韦东奕等中国数学家也在相关正则性问题上开展了长期研究。 这场对话，我们从突然加速的AI for Math聊起。AI因何开始攻入数学前沿？数学共同体正在经历怎样的震撼、危机与机会？ 我们也讨论了Scaling Law、RSI、Math for AI等前沿问题，以及为何越来越多顶尖数学家和科学家正在涌入Frontier Labs。 苏炜杰师兄也回顾了自己的故事：“白金一代”的求学之路、应用数学的中庸之道、四轮面试加入OpenAI。 过去十多年，苏炜杰的研究从高维统计一路延伸到AI，而他一直想做的，是建立AI的数学理论。我们讨论了大模型这个复杂系统，能否像物理世界一样，被具有解释力和预测力的数学理论所描述？如果有严格的数学理论，它将如何指导模型开发、降低训练成本、解决AI安全？ 苏炜杰把2026年比作另一次“哥白尼时刻”——过去，人类发现地球不是宇宙的中心；2026年，我们开始意识到，人类也可能不是唯一的智慧主体。 当大模型已经变成一门“重工业”，希望本次对话，可以带给你数学家视角的另一份解读。 说明：以下播客录制于8月12日，对话只代表苏炜杰个人观点，不代表OpenAI。 本期时长2小时35分，建议先收藏再细品！喜欢记得点赞关注和转发~ 文章版也会在「甲子光年」公众号后续发布，欢迎留意。 【时间线】 00:00:00 开场 00:05:55 摘取COPSS：统计学界的“诺贝尔奖” 00:09:46 AI for Math：“这个凸包还可以填很多年” 00:42:30 北大数院2007级“白金一代”成长史：“你不可能在所有维度上超过AI，但世界是无限维的，你要找到自己的X轴” 01:02:02 加入OpenAI：“现在世界上也没有多少人敢说自己真正理解AI” 01:22:22 Scaling Law没有停止：“它更像一个重工业” 01:46:33 模型的下一站：RSI、物理世界、科学发现与“第九条触角” 01:53:26“硅谷正在成为世界权力的中心吗？” 02:01:46 Math for AI：“我们所有人都低估了AI的数学复杂度” 02:23:13 AI时代的学术共同体 02:28:38“AI领域跟其他领域比，时间因素更加关键”

今天《甲小姐对话》的嘉宾是我的同门师兄——董彬。他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折叠 | 甲子光年》