世界太吵,来原声听播客

甲小姐对话

一位数学家的暴论:世界不需要这么多数学家

北大数院白金一代数学家姜子麟认为,让最聪明的人扎堆去证明定理,反而可能拖慢人类社会进步的脚步。

数学竞赛IMO菲尔兹奖学术体制AI对数学的冲击极值组合

原视频在 YouTube 上放不出来,用音频听:

这期更大的价值在后半段:球带猜想的半夜顿悟、AI解开导师留下的公开问题、以及他对数学家岗位该不该变多的真实看法。

核心论点 · 点时间戳可跳到原声

8:37

改卷不是打分,是协商与翻译

IMO的最终得分不是老师批改出来的,而是各国领队和协调员"谈"出来的:领队先独立打分,协调员背靠背再打一次分,分数不一致就当场协商,领队要向协调员"翻译"学生潦草笔迹背后的真实想法——比如同一个想法被写在试卷不同角落,需要靠蒙太奇式的拼接才能看出完整答案。连第二题里恐龙原本叫"嫦娥",也因为英文语系选手念不顺口才改成了"change",出题都要兼顾120个国家的语言习惯。

— 姜子麟
37:17

IMO金牌在筛选最长的思维链

历史上大约一半菲尔兹奖得主年轻时拿过IMO奖牌,IMO金牌得主后来拿下菲尔兹奖的概率,是顶尖名校数学博士的50倍。姜子麟的解释是:IMO选拔的不是知识量,而是一个人能否在高压考场里把一串复杂推理一路想到底、不中途放弃——用现在的语言说,就是思维链的长度。这也意味着IMO早期筛选出的,其实是一种提前显露的心智成熟度。

— 姜子麟
40:19

5%的奥赛生造出了最多独角兽

一份跟踪过去25年、约18000名IMO/IOI/IPHO奖牌得主去向的统计显示:36%留在学术界,22%进了科技行业(最大雇主是Google),12%做量化金融,只有5%选择创业——但这5%造出了约20家独角兽和7家十角兽,包括OpenAI、Stripe、Databricks、Perplexity。这群人成为亿万富翁的概率是普通人的1500倍,成为独角兽创始人的概率是4000倍,博主将其归因于同一批人被MIT等同样的学校录取后产生的聚集效应。

— 姜子麟
52:26

啃透一个无关的证明,半天破解40年猜想

球带猜想1973年提出,40多年无人突破。姜子麟博士后头八九个月毫无产出,却和同事把一个1950年代"平板覆盖"的旧证明啃得滚瓜烂熟、逢人就讲——纯粹因为觉得它美,没有任何功利目的。某天同事提议把这个证明思路套到球带猜想上,他当场提出可以把问题拆成两种情况,其中一种正好能用那个旧证明解决,当天下午摸出轮廓,当晚11点确认细节无误,通宵把整篇证明敲了出来。

— 姜子麟
1:13:32

逃到以色列,仍在导师的五指山里

博士导师在等角线问题上刚取得一次突破时,姜子麟刻意绕开不碰,理由是"他已经有先发优势了"。去以色列做博士后原本是想逃出导师的研究范围,但他后来意识到自己仍活在导师划定的覆盖范围里,直到做出完全独立的球带猜想才真正跳出去。他说这一步必须跨出去,否则同行会认为你没有自己的独立性,而博士后本身就是一个带着时间锁的身份,必须在有限年限内证明自己。

— 姜子麟
1:32:52

我们不需要这么多数学家

姜子麟抛出一个他自己也承认会被反对的观点:如果一个社会创造出太多数学家岗位,反而会拖慢人类进步的速度,因为这把最聪明的人都调去证明定理,而不是解决更有现实社会价值的问题。他认为数学家的价值更多体现在副产品而非最终定理本身,全世界81亿人口里,数学家岗位有十万人可能就已经足够,多出来的天才应该被用在别处。

— 姜子麟
1:48:23

导师留下的公开问题,被GPT5.5解开了

2025年某次杭州的会上,姜子麟的博士导师在讲座结尾留下一个没找到解答的公开问题。2026年初,GPT5.5独立给出了这个问题的解答。他说那一刻感受到了真实的震撼——至少在极值组合这个方向上,AI已经能在没有人类引导的情况下攻克曾卡住顶尖数学家的问题。但他也提到,邓玉认为自己所需要的思维链长度,目前AI还没摸到门。

— 姜子麟
3:17:39

不是做加法,而是做乘法甚至指数

他引用美国奥数教练罗伯生的说法:过去数学家做的是"加法"——一个人冲在学术最前沿,一点点往上加。但如果你手上带着十个优秀学生,能把他们的能力乘以二、乘以三,做的就是比加法效率高得多的事。姜子麟说,自己下一步想搭建的是一套不需要他本人在场也能持续运转的机制,让这种乘法甚至指数级的增长每天都在发生。

— 姜子麟

原话 · 已逐字校验

就是IMF的一份报告 说历史上约 一半的菲尔兹奖得主 都在年轻时参加过IMO 然后IMO金牌得主 后来拿下菲尔兹奖的概率 是top10名校数学博士的50倍

有一份报告说,历史上大约一半的菲尔兹奖得主,都在年轻时参加过IMO,而IMO金牌得主后来拿下菲尔兹奖的概率,是top10名校数学博士的50倍。

甲小姐37:17

这群人成为亿万富翁的概率 是普通人的1500倍 成为独角兽创始人的概率 是普通人的4000倍

这群人成为亿万富翁的概率,是普通人的1500倍;成为独角兽创始人的概率,是普通人的4000倍。

甲小姐40:19

就是最后输出token的时候 肯定是只花了半天的时间 但是整个的这个思考的过程 肯定是有一个长达 可能两三周的过程吧

最后输出token的时候,肯定是只花了半天的时间,但整个思考的过程,肯定经历了一个长达可能两三周的过程。

姜子麟51:26

在你睡前想出来证明的时候 千万别把它写下来 这样你才能够睡好一晚上的觉

在你睡前想出证明的时候,千万别把它写下来,这样你才能睡好这一晚。

姜子麟1:02:29

大概有这样 但是我跳出这个五指山最好 确实从职业发展的角度 必须要做这个事情 如果你只是沿着你博士的轨迹 进一步向前的话 最后找工作的时候 大多数同行会认为 你没有自己的独立性

大概是这样,但我跳出这个五指山是最好的——从职业发展的角度,必须要做这件事。如果只是沿着博士期间的轨迹继续往前走,最后找工作时,大多数同行会认为你没有自己的独立性。

姜子麟1:13:32

你可以想象一下 如果我们产生了很多数学家的岗位 反而会使得人类的整个的社会进一步放缓 因为你把最最天才的人都放到了证明定理解决这些问题上

你可以想象一下,如果我们创造了很多数学家的岗位,反而会使得整个人类社会进一步放缓,因为你把最天才的人都放到了证明定理、解决这些问题上。

姜子麟1:32:52

我们如果单纯的去追求一个结果 可能结果本身并不会意味着什么 而是这个追求的过程 以及追求过程中产生的这些思想的火花 我觉得价值是远远大于答案本身的

如果我们单纯地去追求一个结果,结果本身可能并不意味着什么——追求的过程,以及这个过程中产生的思想火花,价值要远远大于答案本身。

姜子麟2:56:24

我们以前可能在做的事情是做加法 加法意思是我一个人 我去冲在学术的前沿 我要去为这个学术再加一 再加一再加一或者加十 你说做了大突破的时候 但是你也可以意识到你的角色可以转变 你可以做一个做成法的人

我们以前可能做的是加法——意思是我一个人冲在学术前沿,为这个学科再加一、再加一、再加十,当你做出大突破的时候。但你也可以意识到自己的角色可以转变,变成一个做乘法的人。

姜子麟3:17:39

数字与实体

IMO金牌得主后来拿下菲尔兹奖的概率顶尖名校数学博士的50倍37:17
参加过IMO的菲尔兹奖得主比例历史上约一半37:17
过去25年追踪的IMO/IOI/IPHO奖牌得主样本量约18000人39:19
IMO奖牌得主中选择创业的比例5%40:19
IMO奖牌得主成为亿万富翁的概率普通人的1500倍40:19
IMO奖牌得主成为独角兽创始人的概率普通人的4000倍40:19
球带猜想提出年份1973年58:27
2025年国家集训队选手总数及女性人数60人中0人为女性31:14

术语

Chain of Thought思维链
解题时展开的一连串中间推理步骤
tenure终身教职
大学教授获得的长期雇佣保障身份
equiangular lines等角线
高维空间中两两夹角都相等的一组直线
Condensed Mathematics凝聚态数学
Peter Scholze提出的一套新数学语言框架
extremal combinatorics极值组合学
研究组合结构在约束条件下取极值的数学分支

收听指南

谁该听

对数学竞赛生态、学术职业路径、AI冲击数学研究感兴趣的创业者、家长与理工科研究者

可跳过

开场的寒暄与菲尔兹奖八卦环节信息量较低,可以跳过