一位数学家的暴论:世界不需要这么多数学家
北大数院白金一代数学家姜子麟认为,让最聪明的人扎堆去证明定理,反而可能拖慢人类社会进步的脚步。
原视频在 YouTube 上放不出来,用音频听:
核心论点 · 点时间戳可跳到原声
改卷不是打分,是协商与翻译
IMO的最终得分不是老师批改出来的,而是各国领队和协调员"谈"出来的:领队先独立打分,协调员背靠背再打一次分,分数不一致就当场协商,领队要向协调员"翻译"学生潦草笔迹背后的真实想法——比如同一个想法被写在试卷不同角落,需要靠蒙太奇式的拼接才能看出完整答案。连第二题里恐龙原本叫"嫦娥",也因为英文语系选手念不顺口才改成了"change",出题都要兼顾120个国家的语言习惯。
— 姜子麟IMO金牌在筛选最长的思维链
历史上大约一半菲尔兹奖得主年轻时拿过IMO奖牌,IMO金牌得主后来拿下菲尔兹奖的概率,是顶尖名校数学博士的50倍。姜子麟的解释是:IMO选拔的不是知识量,而是一个人能否在高压考场里把一串复杂推理一路想到底、不中途放弃——用现在的语言说,就是思维链的长度。这也意味着IMO早期筛选出的,其实是一种提前显露的心智成熟度。
— 姜子麟5%的奥赛生造出了最多独角兽
一份跟踪过去25年、约18000名IMO/IOI/IPHO奖牌得主去向的统计显示:36%留在学术界,22%进了科技行业(最大雇主是Google),12%做量化金融,只有5%选择创业——但这5%造出了约20家独角兽和7家十角兽,包括OpenAI、Stripe、Databricks、Perplexity。这群人成为亿万富翁的概率是普通人的1500倍,成为独角兽创始人的概率是4000倍,博主将其归因于同一批人被MIT等同样的学校录取后产生的聚集效应。
— 姜子麟啃透一个无关的证明,半天破解40年猜想
球带猜想1973年提出,40多年无人突破。姜子麟博士后头八九个月毫无产出,却和同事把一个1950年代"平板覆盖"的旧证明啃得滚瓜烂熟、逢人就讲——纯粹因为觉得它美,没有任何功利目的。某天同事提议把这个证明思路套到球带猜想上,他当场提出可以把问题拆成两种情况,其中一种正好能用那个旧证明解决,当天下午摸出轮廓,当晚11点确认细节无误,通宵把整篇证明敲了出来。
— 姜子麟逃到以色列,仍在导师的五指山里
博士导师在等角线问题上刚取得一次突破时,姜子麟刻意绕开不碰,理由是"他已经有先发优势了"。去以色列做博士后原本是想逃出导师的研究范围,但他后来意识到自己仍活在导师划定的覆盖范围里,直到做出完全独立的球带猜想才真正跳出去。他说这一步必须跨出去,否则同行会认为你没有自己的独立性,而博士后本身就是一个带着时间锁的身份,必须在有限年限内证明自己。
— 姜子麟我们不需要这么多数学家
姜子麟抛出一个他自己也承认会被反对的观点:如果一个社会创造出太多数学家岗位,反而会拖慢人类进步的速度,因为这把最聪明的人都调去证明定理,而不是解决更有现实社会价值的问题。他认为数学家的价值更多体现在副产品而非最终定理本身,全世界81亿人口里,数学家岗位有十万人可能就已经足够,多出来的天才应该被用在别处。
— 姜子麟导师留下的公开问题,被GPT5.5解开了
2025年某次杭州的会上,姜子麟的博士导师在讲座结尾留下一个没找到解答的公开问题。2026年初,GPT5.5独立给出了这个问题的解答。他说那一刻感受到了真实的震撼——至少在极值组合这个方向上,AI已经能在没有人类引导的情况下攻克曾卡住顶尖数学家的问题。但他也提到,邓玉认为自己所需要的思维链长度,目前AI还没摸到门。
— 姜子麟不是做加法,而是做乘法甚至指数
他引用美国奥数教练罗伯生的说法:过去数学家做的是"加法"——一个人冲在学术最前沿,一点点往上加。但如果你手上带着十个优秀学生,能把他们的能力乘以二、乘以三,做的就是比加法效率高得多的事。姜子麟说,自己下一步想搭建的是一套不需要他本人在场也能持续运转的机制,让这种乘法甚至指数级的增长每天都在发生。
— 姜子麟原话 · 已逐字校验
就是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冲击数学研究感兴趣的创业者、家长与理工科研究者
开场的寒暄与菲尔兹奖八卦环节信息量较低,可以跳过