OpenAI 一天甩出722篇數學論文，數學家集體看懵
論文長達數百頁卻讀不懂、也查不完，OpenAI只甩出部分Lean驗證代碼自證嚴謹，逼數學界承認人類可能真的跟不上AI證明的速度了。
原視頻在 YouTube 上放不出來，用音頻聽：
核心論點 · 點時間戳可跳到原聲
每次選舉都在懲罰在任者，而非選邊站
主持人認為美國選民近年的行為模式與其說是支持哪個黨，不如說是對「不管誰在位都不滿意」的持續反彈。這種反建制情緒自2015年以來幾乎每次選舉都穩定出現，可能和社交媒體放大不滿情緒有關，也可能反映出選民普遍覺得政府失靈——這解釋了為什麼本次中期選舉出現了罕見的翻盤幅度。
— Steve罕見共識：九成選民都提到了腐敗
本應是最容易被選民「習以為常」的腐敗問題，這次卻被大量選民明確列為投票考量，主持人認為這種近乎一致的共識極不尋常——過去大家對腐敗的態度更像是「每個政黨都差不多髒，算了」,把它當成做生意的成本內化掉，而不是真正用選票去懲罰。
— Jay「共同決策」話術把責任偷偷轉嫁給家長
CDC把乙肝疫苗從「出生即接種」改成「家長與醫生共同決定何時或是否接種」,聽起來是在賦權，實際是把專業判斷的責任轉移給沒有流行病學知識的家長。主持人指出這套措辭直接取自反疫苗話術手冊，真正的危害不在於個別家長的選擇，而在於很多人根本不知道這是一個「被設計出來的選項」。
— Kara推遲兩個月接種，感染率漲19%
一項發表於《內科學年鑑》的模擬研究顯示，如果新生兒乙肝疫苗只是推遲兩個月接種，20歲前患慢性乙肝的比例就會上升19%;如果按新指南那樣採用「何時或是否接種」的模糊表述，完成接種比例可能只有五成，屆時慢性感染會暴增83%,全美患者數可能從不到25萬人衝到180萬人。
— Kara換成鉀鹽，全球每年能省下三百萬條命
用部分氯化鉀替代食鹽中的氯化鈉，既降低了鈉的絕對攝入量，也改善了鈉鉀比例，從兩個機制上同時壓低血壓。模型顯示，如果全球所有添加鹽都換成鉀鹽，每年能避免約300萬例死亡、減少約7000萬傷殘調整生命年，美國本土估算能救下約10萬人。研究者把假設參數反覆調整了上千次，結論依然穩健。
— SteveOpenAI 被同行指控「偷走」了他們的證明思路
9月8日OpenAI宣稱在納維-斯托克斯方程(七大千禧年難題之一)上取得突破，找到一個會「爆炸」的解。隨後兩位數學家Buckminster和Alpoga公開指控，稱自己此前用OpenAI工具研究同一問題，懷疑公司用他們的提問數據訓練出了這個「成果」。OpenAI否認，但外界永遠無法核實真相，只能選擇信或不信。
— Brian一天甩出722篇論文，數學界集體破防
10月6日，OpenAI在GitHub上同時放出722篇數學論文，內容涵蓋各種證明與反例，部分附帶可自動驗證嚴謹性的Lean代碼，部分沒有。論文動輒數百頁，寫法完全不考慮人類可讀性——目標只是「把結果做出來」而不是「讓人學到東西」,這讓連專業數學家都讀不下去，整個社群陷入震驚和爭論。
— Brian「再無牛頓」:數學前沿可能只有AI能看懂
理論物理學家Matt Strassler撰文稱，這件事意味著再也不會有「牛頓」或「愛因斯坦」式的人物了，因為沒有人類能跟得上這種速度。嘉賓Brian認為數學的價值本就在於「證明過程」而非結果本身，如果連過程都讀不懂，後續研究如果繼續在未經充分驗證的AI結果上疊加，整個學科有變成一座「紙牌屋」的風險。
— Brian古雅典多數公職靠抽籤，不是選舉
本期「科學還是虛構」環節揭曉：古雅典雖是最早有記錄的民主政體，也確實讓自由成年男性公民投票，但大多數公職並非選舉產生，而是通過「抽籤制」隨機分配，且多為一年任期，目的就是防止權力集中在富人手中——如果有人權勢過大，公民還可以投票把他放逐十年。諷刺的是，能參與投票的僅佔總人口約一成。
— Steve原話 · 已逐字校驗
but there is this pretty consistent now anti-incumbent factor in every election since 2015
但自2015年以來，每次選舉都存在這種相當穩定的反建制(反現任)因素。
Steve3:04
Don't be duped by this as a consumer because it feels right and it feels safer and it feels healthier. I'm telling you that statistically, scientifically, scientifically, it is not safer. It is not healthier.
別因為「感覺上對、感覺上更安全、感覺上更健康」就被這套話術騙了。我告訴你，統計上、科學上，這真的不是更安全、不是更健康。
Kara57:34
So if you did the worldwide replacement of all salt, they said their model said that it would prevent about 3 million deaths a year worldwide.
如果在全世界範圍內把所有鹽都替換成鉀鹽，他們的模型顯示每年能避免約300萬例死亡。
Steve1:01:40
it's not even the canary in the coal mine. I mean, that canary has been dead for a while, I think, in this scenario.
這已經不是「礦井裡的金絲雀」了，我覺得這隻金絲雀在這個情境裡早就死了。
Brian1:19:18
But it caused the entire community of mathematicians worldwide to lose their goddamn mind.
但這件事讓全世界的數學家都徹底破防了。
Brian1:20:18
Matt Strassler, who's a theoretical physicist, in his blog said this essentially means there are no more Newtons or Einsteins out there because no human will ever be able to keep up with this.
理論物理學家Matt Strassler在博客裡說，這基本上意味著再也不會有牛頓或愛因斯坦了，因為沒有任何人類能跟得上這個速度。
Brian1:39:02
They thought if you're running for office, then that would over time see too much powerful to wealthy elites. And they didn't want that to happen.
他們認為，如果靠競選來當官，久而久之權力就會過度集中到富有的精英手裡，而他們不想讓這種事發生。
Steve1:56:47
數字與實體
| 選民中認為腐敗是投票關鍵因素的比例 | 90% | 7:47 |
| 乙肝疫苗延遲兩個月接種導致慢性感染上升幅度 | 19% | 50:12 |
| 採用「何時或是否接種」話術導致慢性感染上升幅度 | 83% | 52:19 |
| 全球換用鉀鹽可避免的年死亡數 | 約300萬 | 1:01:40 |
| 全球換用鉀鹽可減少的傷殘調整生命年 | 約7000萬DALY | 1:01:40 |
| OpenAI一次性放出的數學論文數量 | 722篇 | 1:20:18 |
| 古雅典可參與投票的人口比例(自由成年男性公民) | 約10% | 1:56:47 |
| 全球民主指數中「完全民主」人口占比 | 6.6% | 1:53:38 |
術語
- LeanLean(證明驗證語言)
- 一種能自動檢驗數學證明是否邏輯嚴密的編程語言。
- sortition抽籤任命制
- 用隨機抽籤而非選舉來決定誰擔任公職的古雅典制度。
- Navier-Stokes equation納維-斯托克斯方程
- 描述粘性流體運動的偏微分方程，七大千禧年數學難題之一。
- mathpocalypse數學末日/數學界大地震
- 嘉賓用來形容AI一次性產出大量數學證明論文、衝擊整個學科的造詞。
- action bias行動偏誤
- 人們更容易責怪「採取行動導致的壞結果」而非「不作為導致的壞結果」的認知偏差。
收聽指南
關心AI會如何衝擊知識型工作的創業者和工程師，以及關注公共衛生政策話術如何被操縱的人。
開場中期選舉閒聊和熊的故事信息密度低，可直接跳到疫苗、鹽和數學部分。