Fox Hsiao on Facebook

蕭上農
Lex Fridman 訪問陶哲軒，"數學、物理學中最難的問題及人工智慧的未來"，訪問中包含大量關於數學與物理的問題，淦，全訪談逐字稿翻譯連結在留言裡 XDDDD
史上最偉大的數學家之一，常被譽為「數學界的莫札特」。他曾榮獲菲爾茲獎 (Fields Medal) 和數學突破獎 (Breakthrough Prize in Mathematics)，並對數學和物理學中一系列驚人的領域做出了開創性的貢獻。
"陶軒哲認為自己更像一隻「狐狸」，博學廣聞，喜歡在不同領域間建立聯繫；而非「刺蝟」，精通單一領域。他享受將一個領域的工具，應用到另一個看似無關的領域，從中尋找共通的敘事與類比。這種跨界思維，讓他的研究橫跨數論、偏微分方程、組合學等多個分支。

面對未來，陶哲軒正積極擁抱變革。他投入大量時間學習並推廣形式化證明語言 Lean。他將其視為數學的未來基礎設施。傳統上，一篇論文的正確性需要審稿人耗費巨大心力驗證，且難以協作。但透過 Lean，數學家能將證明拆解成上千個可被電腦驗證的原子步驟，建立一份「藍圖」。

他以此模式主導一個大型專案，動員全球近50位貢獻者，解決2200萬個代數定律之間的蘊含關係。這在過去是無法想像的。Lean 讓大規模、可信的數學協作成真，降低合作門檻，甚至讓有才華的高中生也能為尖端數學做出貢獻。

他認為，AI 不會取代數學家，而是成為強大的協作者。AI 目前的弱點在於缺乏「數學品味」或「嗅覺」，無法判斷一個證明策略是否走在正確的道路上。然而，AI 可以作為一個不知疲倦的助手，執行驗證、查找文獻、完成繁瑣計算，將數學家從重複勞動中解放出來。

他預測，在不久的將來，用 Lean 寫作的論文將成為常態，就像今日的排版軟體 LaTeX。當AI輔助工具將形式化證明的時間成本從十倍降低至一倍以下時，數學研究的將迎接一次典範移轉。

陶哲軒訪談錄：數學、物理學中最困難的問題與人工智慧的未來 | Lex Fridman Podcast #...