世界太吵,來原聲聽播客

甲小姐對話

一位數學家的暴論:世界不需要這麼多數學家

北大數院白金一代數學家姜子麟認為,讓最聰明的人扎堆去證明定理,反而可能拖慢人類社會進步的腳步。

數學競賽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衝擊數學研究感興趣的創業者、家長與理工科研究者

可跳過

開場的寒暄與菲爾茲獎八卦環節信息量較低,可以跳過