
IMO、数学猜想、菲尔兹奖与北大数院往事 | 甲小姐对话姜子麟
9 月 30 日 · 3 小时 35 分


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分,建议先收藏再细品!喜欢记得点赞关注和转发~ 文章版也会在「甲子光年」公众号后续发布,欢迎留意。
开场
摘取COPSS:统计学界的“诺贝尔奖”
AI for Math:“这个凸包还可以填很多年”
北大数院2007级“白金一代”成长史:“你不可能在所有维度上超过AI,但世界是无限维的,你要找到自己的X轴”
加入OpenAI:“现在世界上也没有多少人敢说自己真正理解AI”
Scaling Law没有停止:“它更像一个重工业”
模型的下一站:RSI、物理世界、科学发现与“第九条触角”
“硅谷正在成为世界权力的中心吗?”
Math for AI:“我们所有人都低估了AI的数学复杂度”
AI时代的学术共同体
“AI领域跟其他领域比,时间因素更加关键”

说明里标出的时间点,点一下跳过去
AI 从整集转写里归纳的,不是节目方的宣传语
用高维函数与导数的框架解释scaling law为何没撞墙:某个变量放缓时,其他变量的导数正在变大。
考普斯奖得主亲述OpenAI四轮面试细节:不允许用AI辅助写代码,花一个月重学PyTorch和Transformer。
把2026年类比为哥白尼时刻——人类第一次意识到,自己的智能可能不再是宇宙中唯一的那一个。
AI 读完整集转写后给出的推荐理由
一个刚拿考普斯奖、转身加入OpenAI的数学家,把人类数学比作一只触角极深却彼此隔绝的八爪鱼,说AI正在填满触角之间的空隙。他直言Anthropic的黎曼猜想进展“更多是新闻事件”,呼吁减速“只有商业价值的考量”,又用高维函数的导数解释scaling为什么还没撞墙。最后他把2026年比作哥白尼时刻:人类的智能,第一次不再是唯一的。
由 AI 从整集转写生成,是创作者说明之外的补充
2026年考普斯奖得主、北大数院2007级“白金一代”成员苏炜杰,在晋升正教授的同一年学术休假加入OpenAI。这场近四小时的对话从AI攻入数学前沿谈起:他解释人类数学为何像一只触角极深却彼此隔绝的八爪鱼,AI如何填满触角之间的空隙;他直言Anthropic的黎曼猜想进展“更多是新闻事件”,呼吁减速的表态“只有商业价值的考量”;他用高维函数与导数的框架论证scaling law没有撞墙,并认为科学家是scaling之外的第四维。最后他谈到自己投入最多、产出最少的目标——建立AI的数学理论,以及AI对人类主体性的哲学冲击。
点一章从那里开始播 · 与上面创作者标的时间点各自独立
开场:一个站在暴风眼中的人
主播介绍苏炜杰今年八月获考普斯奖、学术休假加入OpenAI,并来自北大数院2007级“白金一代”。本期将依次讨论AI for Math、成长史、加入OpenAI的来龙去脉与scaling law等前沿议题。
三个里程碑与一条研究主线
苏炜杰谈晋升正教授、获考普斯奖、加入OpenAI三件事的不同分量。他回顾2016年AlphaGo与2022年GPT带来的转向,说明获奖工作大部分奠基于三年前的应用数学与统计研究。
AI是解题家,数学是文化
苏炜杰区分AI for Math与Math for AI,指出AI目前仍是超级解题家,而数学是几千年形成的共同体文化。他以国际数学家大会与菲尔兹奖说明数学共同体价值判断的独特性。
黎曼猜想进展为何被数学家看低
苏炜杰评价Anthropic把黎曼猜想相关比例从四成提高到六成七,认为这是已有方法上的优化,路径本身无法通向证明,更像一个流量事件而非本质进展。
八爪鱼比喻:AI填满触角之间的空隙
他解释AI在数学上突然加速的原因:模型能力持续上升,同时人类数学高度碎片化,不同topic之间难以交流,AI把不同领域的技术拼接起来,发现大量低垂果实。
无心之举还是营销:雅可比猜想之争
苏炜杰不认为雅可比猜想反例是看世界杯时顺手做出的,猜测是专门扫过一遍,并批评把严肃数学研究放在随意场景中叙述是对共同体的不尊重。他也谈到AI对年轻数学学者的心理冲击。
第九条触角:AI能否创造新数学思想
他判断AI发展是渐进的,但人类感受是阶梯式的。长出第九条触角有两种可能:现有范式的能力延伸,或另一个维度上的突破。他还谈到中美与欧洲数学界对AI的不同态度。
哪些数学分支最容易被AI突破
拓扑需要几何形象、PDE需要大量估计,这两块AI进展较慢;组合数学因语料丰富突破较快。他认为长期看各分支都会上升,只是斜率不同,AI还可能成为不同分支之间的粘合剂。
消化难题:望月新一的启示
讨论AI产出的数学能否被人类消化。苏炜杰以望月新一两千多页的ABC猜想证明为例,说明即使形式化能保证正确性,人类精力有限,理解本身仍可能成为障碍。
白金一代:陈天权、讨论班与转系生
苏炜杰回忆北大数院2007级,认为陈天权老师用现代化方式讲大一数学奠定了基础,自愿参加讨论班是未来做学术的最强预测指标,转系来的同学后来发展显著更好。
绩点第一、经双与寒门叙事
他谈自己本科横向做了很多事,学经双是因为当时的女友、现在的妻子。他感谢奖学金与助学金支撑学业,对“寒门逆袭”的说法表示不反对但觉得有些怪。
AI时代的新障碍是心理上的
他回忆余姚老家农田变城区,认为今天学数学的物质门槛已大幅降低,但AI让年轻人产生“永远达不到”的错觉,关键是找到自己那个能超过AI的维度。
加入OpenAI:一封邮件与四轮面试
OpenAI研究员发邮件询问意向,苏炜杰因学术休假机制决定尝试。他花一个月学PyTorch与Transformer,面试不允许用AI辅助写代码,对数学出身的他是不小的挑战。
学术休假机制与人才迁徙潮
他介绍北美学术休假可保留职位两年,是学术圈被低估的福利。Frontier Labs正在吸引大量数学、理论计算机与理论物理人才,而越是做理论方向的人越感到震撼。
从船长到水手:科学家的新位置
苏炜杰谈加入公司后的角色变化,短期失落不可避免。他认为AI公司会永久性地需要科学家,因为突破人类凸包需要杰出科学家的知识,而公司也有得挑。
Scaling Law 没有撞墙
他用高维函数与导数的框架解释scaling:某个变量放缓时,其他变量导数在变大,还有新变量进来。他也谈到RSI即使部分实现也已改变格局,以及Anthropic呼吁减速的商业动机。
阈值、瓶颈与AI能否跳跃
他引用OpenAI研究员的说法,coding agent在去年底越过一个阈值后开始净加速。物理世界的反馈是最难的瓶颈。他也认同LLM目前能做归纳演绎,但还没看到爱因斯坦式的一跳。
涌入与溢出:两股人才浪潮
讨论顶尖科学家涌入frontier labs与从大厂溢出创办new labs两种现象。他认为新实验室能否突破取决于所需资源规模,AI safety可能是小实验室的机会。
Scaling 是一箩筐,科学家是第四维
苏炜杰说scaling的定义一直在变,只要找到导数大于零的因素就能继续。但scaling像三体只能填满三维空间,科学家才可能让人在第四维长出触角。
硅谷的权力、开源与中国模型
他谈OpenAI与Anthropic的mission差异,认为后者缺乏人文关怀。中国AI通过开源开辟了另一个战场,获得了独特的话语权。他也评价张一鸣不做蒸馏的判断是对的。
建立AI的数学理论:一代人的拼图
苏炜杰说这不是一个人能完成的,而是一代人的事。他不要物理式的大统一理论,而要许多有预测性的局部理论拼成版图。他指出现有理论都是先有现象再构造,失去了指导实践的初衷。
AI与物理反着来:从宏观到微观
物理从微观原子到宏观世界,AI从宏观loss function通过反向传播到每个权重。传统数学分析基于线性分解,而大模型是函数的复合。他认为需要根本性的新数学思想。
偏好循环、对齐与社会选择
他谈到人类群体偏好可能存在孔多塞循环,单一奖励分数无法完整表达,对齐不只是优化问题,也是社会选择问题。他还评价Transformer会长期主导,完全取代的概率极小。
论文体系正在被冲垮
苏炜杰介绍自己提出的评审机制被ICML采用,投稿量指数增长,明年可能破五万篇,地球上已找不到足够审稿人。他认为论文形式本身正在过时,未来可能是GitHub式的综合体。
回到湾区与一个哲学问题
他谈阔别十年回到湾区的感受、对孩子兴趣的态度、太太的经历,以及北大人在OpenAI的小群。最后他把2026年类比为哥白尼时刻:人类智能不再是唯一的,人类的主体性需要重新回答。

IMO、数学猜想、菲尔兹奖与北大数院往事 | 甲小姐对话姜子麟
9 月 30 日 · 3 小时 35 分

7 月 1 日 · 2 小时 16 分

甲小姐对话张璐:投资SpaceX背后,一场全球基础设施的必争之战 | 甲子光年
6 月 12 日 · 2 小时 05 分

5 月 13 日 · 2 小时 50 分

甲小姐对话 · 9 月 9 日 · 2 小时 36 分

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分,建议先收藏再细品!喜欢记得点赞关注和转发~ 文章版也会在「甲子光年」公众号后续发布,欢迎留意。
开场
摘取COPSS:统计学界的“诺贝尔奖”
AI for Math:“这个凸包还可以填很多年”
北大数院2007级“白金一代”成长史:“你不可能在所有维度上超过AI,但世界是无限维的,你要找到自己的X轴”
加入OpenAI:“现在世界上也没有多少人敢说自己真正理解AI”
Scaling Law没有停止:“它更像一个重工业”
模型的下一站:RSI、物理世界、科学发现与“第九条触角”
“硅谷正在成为世界权力的中心吗?”
Math for AI:“我们所有人都低估了AI的数学复杂度”
AI时代的学术共同体
“AI领域跟其他领域比,时间因素更加关键”

说明里标出的时间点,点一下跳过去
AI 从整集转写里归纳的,不是节目方的宣传语
用高维函数与导数的框架解释scaling law为何没撞墙:某个变量放缓时,其他变量的导数正在变大。
考普斯奖得主亲述OpenAI四轮面试细节:不允许用AI辅助写代码,花一个月重学PyTorch和Transformer。
把2026年类比为哥白尼时刻——人类第一次意识到,自己的智能可能不再是宇宙中唯一的那一个。
AI 读完整集转写后给出的推荐理由
一个刚拿考普斯奖、转身加入OpenAI的数学家,把人类数学比作一只触角极深却彼此隔绝的八爪鱼,说AI正在填满触角之间的空隙。他直言Anthropic的黎曼猜想进展“更多是新闻事件”,呼吁减速“只有商业价值的考量”,又用高维函数的导数解释scaling为什么还没撞墙。最后他把2026年比作哥白尼时刻:人类的智能,第一次不再是唯一的。
由 AI 从整集转写生成,是创作者说明之外的补充
2026年考普斯奖得主、北大数院2007级“白金一代”成员苏炜杰,在晋升正教授的同一年学术休假加入OpenAI。这场近四小时的对话从AI攻入数学前沿谈起:他解释人类数学为何像一只触角极深却彼此隔绝的八爪鱼,AI如何填满触角之间的空隙;他直言Anthropic的黎曼猜想进展“更多是新闻事件”,呼吁减速的表态“只有商业价值的考量”;他用高维函数与导数的框架论证scaling law没有撞墙,并认为科学家是scaling之外的第四维。最后他谈到自己投入最多、产出最少的目标——建立AI的数学理论,以及AI对人类主体性的哲学冲击。
点一章从那里开始播 · 与创作者标的时间点各自独立
开场:一个站在暴风眼中的人
三个里程碑与一条研究主线
AI是解题家,数学是文化
黎曼猜想进展为何被数学家看低
八爪鱼比喻:AI填满触角之间的空隙
无心之举还是营销:雅可比猜想之争
第九条触角:AI能否创造新数学思想
哪些数学分支最容易被AI突破
消化难题:望月新一的启示
白金一代:陈天权、讨论班与转系生
绩点第一、经双与寒门叙事
AI时代的新障碍是心理上的
加入OpenAI:一封邮件与四轮面试
学术休假机制与人才迁徙潮
从船长到水手:科学家的新位置
Scaling Law 没有撞墙
阈值、瓶颈与AI能否跳跃
涌入与溢出:两股人才浪潮
Scaling 是一箩筐,科学家是第四维
硅谷的权力、开源与中国模型
建立AI的数学理论:一代人的拼图
AI与物理反着来:从宏观到微观
偏好循环、对齐与社会选择
论文体系正在被冲垮
回到湾区与一个哲学问题
节目里自然聊到的,不是广告

AI 对内容的推测
☕🧄 这个比喻出自 2009 年周立波的一句「喝咖啡的怎么能和吃大蒜的呆在一起呢」;郭德纲后来在《你要高雅》里回了一句「雅和俗分不开,喝着咖啡就着大蒜,秋水共长天一色」。我们借它标注风格取向 —— 两端没有高下,编辑部式与熟人局式都能做出极好的节目。
https://feed.xyzfm.space/nmyf7uktrc6a复制概要、章节、提及与推广标注由 AI 生成,可能有误;内容版权归创作者,声湃按创作者开放的 RSS 收录。了解收录与 RSS →

IMO、数学猜想、菲尔兹奖与北大数院往事 | 甲小姐对话姜子麟
9 月 30 日 · 3 小时 35 分

7 月 1 日 · 2 小时 16 分

甲小姐对话张璐:投资SpaceX背后,一场全球基础设施的必争之战 | 甲子光年
6 月 12 日 · 2 小时 05 分