KeyFrame內部研究專用

【分享】神经网络无意中推进了数学——和石根华老师漫谈《AI和数学》

Best Partners TV·7月2日週四·92 min中文

三句話摘要

數學如何為人工神經網路提供理論基礎:不動點理論、流形方法與深度學習的數學對應關係。 AI的數學本質是透過深度覆蓋結構在病態、高維空間中迭代求解反問題,實現了傳統數學理論到實際應用的飛躍,標誌著數學本身正被推向新的歷史高度。 不動點與神經網路訓練的一致性:神經網路的反向傳播本質上是透過梯度下降不斷迭代逼近損失函式的不動點(即f(x)=x的解)。這與石老師幾十年前研究的不動點理論在數學上完全對應,只是形式表現不同。

重點整理

重點
  • 1

    不動點與神經網路訓練的一致性:神經網路的反向傳播本質上是透過梯度下降不斷迭代逼近損失函式的不動點(即f(x)=x的解)。這與石老師幾十年前研究的不動點理論在數學上完全對應,只是形式表現不同。

  • 2

    從區域性覆蓋到整體的數學方法:數學發展歷史中,單純積分(simplex calculus)基於覆蓋理論能將任意複雜形狀的積分問題轉化為簡單代數運算。同樣,深度神經網路透過數千層的層級覆蓋實現任意複雜函式的逼近,這體現了"從部分到整體"的統一數學思想。

  • 3

    反問題求解的革命性進展:傳統數學關注正向問題(已知原因求結果),而AI則解決反問題(已知結果推斷原因)。這是AI對數學的最大貢獻,突破了傳統數學只能處理適定問題(well-posed)的限制,開創了在病態問題上透過機率收斂求解的新正規化。

  • 4

    工程實踐驅動數學發展:歷史上數學的重大突破往往來自工程師而非數學家。類似牛頓、高斯的軌跡,AI研究者正在推動數學向非連續、機率收斂、高維滿矩陣方程等新領域發展。

實用技巧與重點

乾貨
  • 核心概念:不動點方程(f(x)=x)、單純積分、覆蓋理論、流形、偏微分方程、反問題、適定性(存在性、唯一性、穩定性)、機率收斂、滿矩陣方程、Deep Manifold
  • 歷史人物與貢獻
  • 江澤涵:引入"覆蓋"概念的中文譯法
  • 陳省身:建立流形上的微分方程理論
  • 石根華:發展非連續覆蓋理論、建立微分方程在複雜形狀上的解法
  • 歌德爾:強調"天才需要接地氣才能解決問題"
  • 技術細節
  • Token embedding維度通常為4096維
  • Transformer層數達幾千層(過去流形理論只到十幾層)
  • 餘弦相似度(cosine similarity)屬於距離理論範疇
  • 拉格朗日乘數法在強化學習(PPO)、最佳化器(Adam)中普遍出現
  • 實際案例
  • 2007年菲律賓火山滑坡7萬人死亡,因距離計算錯誤
  • 深圳垃圾堆滑坡事故,需精確計算滑動距離
  • 核廢料儲存反問題驗證

結論

結論

AI的數學本質是透過深度覆蓋結構在病態、高維空間中迭代求解反問題,實現了傳統數學理論到實際應用的飛躍,標誌著數學本身正被推向新的歷史高度。

完整解析

詳細

這場對話探討了一個看似矛盾但實則統一的問題:人工智慧為何如此強大?答案不在黑箱,而在於幾十年沉睡的數學理論被AI無意間喚醒並擴充套件了。

石老師作為不動點理論的先驅,從20世紀初就開始研究這套數學體系。他強調,數學的發展歷程可分為三個階段:從離散到連續、從連續到非連續、從單點計算到覆蓋計算。覆蓋理論的核心思想是:把複雜的全域性問題分解成無數個簡單的區域性單純體(simplex),透過單純積分(只需知道頂點座標就能快速計算)將任意複雜形狀的積分表達為簡單的代數運算。這個理論在當時被陳省身高度評價,他說"只有跪下來磕頭"來形容其重要性。

而馬老師在深度學習中的發現是:神經網路的每一層都可以用流形覆蓋來理解。物理覆蓋對應網路的啟用值(可觀測),數學覆蓋對應權重引數(設計部分)。網路透過反向傳播不斷調整這些權重,使輸入經過數千層變換後逼近目標輸出——這本質上是在高維空間尋找不動點。與傳統數學求解正向問題不同,神經網路求解的是反問題:已知資料分佈,反推生成這些資料的潛在結構。

更深層的啟示在於,AI挑戰了傳統數學的底層假設。過去數學家只研究適定問題(解存在、唯一且穩定),而對病態問題(多解或無解)避而遠之。但AI卻透過機率收斂在病態問題上取得成功。同時,傳統數學處理的是小規模問題,而AI用滿矩陣方程(每個特徵與數千個其他特徵相關)成功地解決了數學家曾認為"不可能"的高維問題。這些突破來自工程師的大膽嘗試,而非數學證明——歷史上數學的重大進展往往源於工程實踐對數學的推動。

關鍵時刻

Pipeline v2

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

事實查核

Pipeline v2

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

更多「AI 技術」的內容

🔬“We have foundation models for language, not for physics” — Anima Anandkumar, Bren Professor of Computing
編輯精選
83 min
AI 技術英文PODCAST8月26日

🔬“We have foundation models for language, not for physics” — Anima Anandkumar, Bren Professor of Computing

Latent Space

  • 加速傳統物理模擬的典範轉移:氣象科學家原本認為 AI 無法匹敵數十年的物理建模工作,但傅里葉神經算子不僅達到同等精度,還快了一萬多倍。原本需要超級計算機的計算現在用消費級 GPU 就能完成,這改變了整個領域的思維方式。
  • 傅里葉域的非局部現象捕捉:傅里葉域能有效表示非局部現象(如大氣河流跨越千里的影響),且計算複雜度為準線性,遠優於完全連接的全局模型。這特別適合流體動力學、量子化學等自然現象中普遍存在的非局部相互作用。
  • 多解析度連續函數表示:神經算子將輸入輸出視為連續函數而非固定維度向量,可在推論時以任意解析度查詢,並能在更高解析度上疊加物理約束或額外數據,克服了固定解析度神經網路的限制。
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 經過公開駭客技術訓練,使不同使用者產生相似的攻擊模式。然而,勒索軟體集團、國家級行為者的受害者選擇、贖金要求方式或目標模式等高階特徵仍具有識別價值。例如,鎖定加密交易所的攻擊幾乎只能指向朝鮮。
Why the Next AI Breakthrough May Come from Physics with Max Welling - #774
55 min
AI 技術英文PODCAST8月25日

Why the Next AI Breakthrough May Come from Physics with Max Welling - #774

TWIML AI

  • 多層篩選的材料設計流程:先搜尋文獻資料庫找現有材料,若無合適的就用生成模型產生數十萬個候選分子,用機器學習力場進行分子動力學模擬篩選,再進行實驗驗證。這套流程相比傳統量子力學計算能加速效率數個數量級。
  • 生成AI與熱力學的數學等價性:資訊論是兩個領域的共同基礎,生成模型的擴散過程與非平衡統計力學描述資訊損失的過程在數學上完全對應,許多開發出來的方法工具在兩領域都有精確對應的形式。
  • 基礎模型的遷移學習策略:先在廣泛材料資料集上訓練基礎力場表示,再針對特定材料類別進行蒸餾微調,既能保持計算效率也能獲得專一性。