KeyFrame內部研究專用

AI时代人类最后的护城河是什么 | Grant Sanderson | 心智理论 | 信任 | 黎曼猜想 | 数学的基准 | 伽罗瓦 | 群论 | Lean | 写作和教育

Best Partners TV·7月6日週一·17 min中文

三句話摘要

AI 在技術層面會加速進步,但人類基於信任與心智連接的價值將成為最穩固的互補核心。 技術加速迭代,但人與人之間建立的信任、情感連接與心智理解會成為人類最不可替代的核心價值。 AI 的能力是極度分化的,不是平整進步。 大模型在有暴力搜索路徑的領域(如國際數學奧林匹克幾何題)迅速突破,但在組合數學這類需要創意跳躍的問題上頻繁失敗。AI 擅長已被驗證的任務,而數學最有價值的工作恰恰是無法被即時評測的。

重點整理

重點
  • 1

    AI 的能力是極度分化的,不是平整進步。 大模型在有暴力搜索路徑的領域(如國際數學奧林匹克幾何題)迅速突破,但在組合數學這類需要創意跳躍的問題上頻繁失敗。AI 擅長已被驗證的任務,而數學最有價值的工作恰恰是無法被即時評測的。

  • 2

    人類數學家的核心價值轉向提出定義與判斷方向。 若 AI 自動化了定理證明,數學研究重心會向前轉移:從「解題」轉向「提出有意思的問題與定義」。歷史上伽羅瓦提出群論的價值花了 200 年才被完全認識,這種長期無法驗證的創新無法用現有獎勵機制訓練出來。

  • 3

    教學與信任是 AI 時代最穩定的人類職業。 教育本質不只是信息傳輸,而是基於信任與情感的社交互動。家長願意為活人老師付高薪,科普創作者的觀眾忠誠來自信任而非內容本身。這些與人綁定的社會功能是 AI 無法複製的。

  • 4

    AI 缺乏真正的心智理論與情感共鳴。 沒有肉身的 AI 無法通過肌肉模仿來共情他人,因此無法預判讀者三個月後的心智狀態、知道何時應該引導而非順從。寫好一張間隔重複卡片需要的心智建模能力正是 AI 的盲點。

實用技巧與重點

乾貨
  • 國際數學奧林匹克幾何題:AI 19 秒內可解決,但組合數學仍會「疯狂卡壳」
  • AI 數學進展的真實偏科原因:AI 在可重複驗證、確定性環境中進步快;電商測試無法反覆跑數千次,創業過程無法回放
  • 伽羅瓦理論時間軸:拉格朗日 → 阿貝爾 → 伽羅瓦 → 20 年無人理解 → 又 20 年才成為通用工具 → 20 世紀物理學家用於粒子對稱性預言,200 年才完全顯現價值
  • 自回歸生成的根本限制:token 預測機制會被上下文牢牢束縛,真正有價值的跨領域連接(小概率事件)自然無法成為最可能出現的下一個詞
  • AI 與人類並行化思考的差異:AI 可同時開多條路徑、系統測試反例、故意給不同上下文提高思路多樣性(如給陌生人當腦筋急轉彎反而更容易做出)
  • Lean 形式化工具的實際進展:當下對 AI 數學的作用被高估,真正潛力在無人職守的十年長期探索
  • 維基百科式解釋的侷限:每句話都正確但無法引導建立直觀理解;好老師會故意先說略有偏差的話,再慢慢糾正

結論

結論

技術加速迭代,但人與人之間建立的信任、情感連接與心智理解會成為人類最不可替代的核心價值。

完整解析

詳細

數學家格兰特·桑德森在波克里播客上提出了一個反直觀的判斷:技術會淘汰工作,但信任不會。這個觀點的論證從一則心理學實驗切入——肉毒桿菌使用者面部肌肉被凍結後,對他人情緒的識別能力下降。這說明人類共情的機制是通過潛意識模仿他人的面部肌肉來實現的。而 AI 沒有肉身,沒有這套生理模仿機制,因此本質上不具備真正的心智理論。它能背下所有詞彙、組合出語法完美的句子,但在觸動情感層面上本質還是一場「詞彙遊戲」,而非真正的理解。

格兰特隨後深入分析了 AI 在數學領域的實際進展。許多人認為數學是大模型進步最快的領域,但現實極度偏科。AI 靠暴力搜索可以秒解國際數學奧林匹克幾何題,卻在組合數學面前頻繁失敗。背後的原因是:幾何題有明確的暴力破解路徑,而組合數學需要創意跳躍。這種偏科性揭示了 AI 能力的根本特性——它在可重複驗證、環境確定的任務上進步迅速(如代碼可跑千次測試、數學可反覆驗證),但在需要與真實世界交互、無法即時反饋的領域就步履蹣跚。

更深層的問題是:數學研究最有價值的工作往往無法被標準化衡量。好的數學家不只是證明定理,而是提出好的猜想、更重要的是定義新的數學概念。歷史上,伽羅瓦提出群論,但他一生默默無聞、落魄而死。他的筆記被拒絕多次,20 年後才有人注意,又過 20 年群論才被整理成我們今天認識的樣子,直到 20 世紀物理學家用它研究粒子對稱性才展現出巨大價值——從拉格朗日埋下種子到群論成為全學科基礎工具,跨越了 200 多年。在當時根本無法評判伽羅瓦的工作「值不值得做」,其價值是在漫長的時間裡慢慢顯現的。而現代 AI 訓練依靠的是可驗證獎勵的強化學習,需要立刻判斷對錯的目標。創造新思想、提出新定義這種工作根本沒有及時的驗證標準,自然難以用當前的方法訓練 AI 完成。

關於教育和職業未來,格兰特認為,在 AI 時代人類最穩固的職業是那些基於信任與心智連接的工作。教學本質上不只是信息傳輸,而是基於信任的社交互動與情感陪伴。即使 AI 能把課講得完美無缺,家長依然願意為活人老師付高薪,因為教育涉及對學生的長期理解、引導和情感支持。科普創作者同理,觀眾的忠誠來自對講者的信任,而非內容本身。這種社會性功能 AI 無法替代。他甚至指出,AI 最大的問題是它太會順著你說話——即使你的理解方向完全錯誤,它也會順著往下說,而不會像真正的好老師那樣接住你跑偏的思路,再把你引回正確方向。

關鍵時刻

Pipeline v2

帶時間戳的重點,會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。

事實查核

Pipeline v2

說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。

更多「AI 技術」的內容

Between Two Nerds: Attribution is dead, long live attribution
32 min
AI 技術英文PODCAST8月25日

Between Two Nerds: Attribution is dead, long live attribution

Risky Business

  • 工具成本的破壞性下降 — 傳統上,攻擊者必須重複使用昂貴自製的惡意軟體或工具組,因為開發和維護成本極高。這種成本結構使得安全研究人員可以通過工具特徵和程式碼簽名來追蹤攻擊者。LLM 自動化了代碼生成與維護工作流,使得攻擊者可以輕易為每個目標生成新工具,或改用通用系統工具,導致傳統的工具特徵分析失效。
  • 所有取證證據都在攻擊者掌控之中 — 無論是使用的 IP 位址、惡意軟體類型或戰術流程,這些都是攻擊者的主動選擇。即使看似是隨機巧合,攻擊者仍有能力在事前決定留下什麼痕跡。因此,所有可恢復的取證證據本質上都是攻擊者願意暴露的信息。
  • LLM 削弱工具簽名但保留高階行為特徵 — LLM 經過公開駭客技術訓練,使不同使用者產生相似的攻擊模式。然而,勒索軟體集團、國家級行為者的受害者選擇、贖金要求方式或目標模式等高階特徵仍具有識別價值。例如,鎖定加密交易所的攻擊幾乎只能指向朝鮮。
Everything Goldman Sachs Taught Me About AI (In 10 minutes)
AI 技術英文8月24日

Everything Goldman Sachs Taught Me About AI (In 10 minutes)

Nate Herk

  • 驗證優於相信:看起來完整的AI輸出不等於正確答案,需在提示中要求模型重新檢查數字、引用來源,並對無把握的部分標記。
  • 區分AI與自動化:確定步驟且答案已知的任務用傳統自動化更便宜快速;只在需要判斷力、靈活性或處理複雜資訊時才用AI,兩者結合效果最佳。
  • 以問題驅動選型:先寫清楚「要解決的問題是什麼、成功的樣子是什麼」,再決定用什麼工具,許多失敗項目是從技術而非問題出發。
Mu: a self-hosted personal agent where the interface is an email address you can write to
AI 技術英文8月23日

Mu: a self-hosted personal agent where the interface is an email address you can write to

GitHub Awesome

  • Mu 是自主代理人系統,具有實際網址與獨立伺服器,用戶可透過多種方式與其互動——網頁應用、電子郵件或程式化介面。
  • 架構完整覆蓋日常工作流程的多個層面,整合郵件收發(SMTP/IMAP)、檔案管理、行事曆、新聞聚合、市場數據與搜尋功能於一個 Go 伺服器內。
  • 支援自帶模型與多種通訊協定,用戶可選擇不同的 AI 模型,並透過 MCP、HTTP API 或命令列工具整合到其他系統。