IXThinker·2025-06-22 23:50

陶哲軒長談數學與AI 分享給年輕人的建議

菲爾茲獎得主陶哲軒接受Lex Fridman超過三小時的訪談，是他近年少有的非學術機構長對話，內容橫跨數學前沿、AI形式化驗證、科研方法與基礎教育，金句頻出。

數學與AI交匯

作為公認的當世頂尖數學家，陶哲軒結合AI快速發展的背景分享觀點，談及AI在形式化驗證中的應用，並留下「AI與菲爾茲獎的距離，只差一個研究生」等妙語，兼顧專業深度與大眾視角。