Terence Tao 談 AI 如何改變數學

🧑‍🏫 這支影片請來知名數學家陶哲軒（Terence Tao），分享他實際用 AI 做數學研究的經驗，OpenAI 也說明了他們想用 AI 達成什麼。值得看的地方在於，連頂尖數學家都說 AI 已經好用到能放進日常研究流程。

• 00:02 Terence Tao 自我介紹：IPAM（Institute for Pure and Applied Mathematics）的 director of special projects
  ↳ 陶哲軒介紹自己在 IPAM 擔任特別專案主任。IPAM 全名是「純粹與應用數學研究所」，是一個數學研究機構。
• 00:02 他說 AI 進步非常快，讓他能做實驗，敢嘗試更瘋狂的點子
  ↳ 以前一個點子要花很多時間驗證，所以只敢挑有把握的來做。現在 AI 能很快幫忙試，失敗的代價變小，他就更願意去碰那些看起來很瘋狂的想法。
• 00:02 研究者可以在黑板前自由發想（vibe on the blackboard），遇到雙方都不想做的計算，就交給 AI 工具完成
  ↳ 「vibe on the blackboard」是指研究者在黑板前隨興討論、丟想法。討論中冒出一段繁瑣、兩個人都懶得算的計算，就交給 AI 處理，人專心發想。
• 00:02 用 AI 搜尋文獻，比以前更精準、更有效率
  ↳ 要找相關的論文和前人研究時，用 AI 查比以前更準、更快，比較容易直接找到真正有關的資料，省下很多翻找的時間。
• 00:02 他現在做的 AI-assisted mathematics 與協作專案多很多，並認為 AI 已經可以正式上場（ready for prime time）
  ↳ AI-assisted mathematics 就是「有 AI 協助的數學研究」。他現在這類研究和多人合作的專案都多很多。ready for prime time 是指 AI 已經能正式派上用場。
• 00:32 OpenAI 方面表示，根本上在乎的是站在前沿，把科學、經濟以及自身的工作自動化
  ↳ 這段是 OpenAI 的說法：他們最在意的是走在技術最前面，讓科學研究、經濟活動，甚至 OpenAI 自己內部的工作，都能交給 AI 自動完成。
• 00:32 OpenAI 比較不在乎自己贏得 Nobel Prize 或 Fields Medal，更在乎讓 100 位數學家能自己做到
  ↳ Fields Medal（費爾茲獎）是數學界的頂尖大獎。OpenAI 說，他們不追求讓自家 AI 拿諾貝爾獎或費爾茲獎，更想讓 100 位數學家靠 AI 自己做出成果。
• 00:32 影片提到直到最近我們都活在「cognitive friction」的世界：每件事都得動腦，大家把它當成做智力工作的必要成本
  ↳ cognitive friction 可以理解成「動腦的阻力」：做每件事都得費腦力，像查資料、整理、計算。過去大家認為做腦力工作本來就得付出這些辛苦。
• 00:32 現在 AI 與其他技術能把這些摩擦降到零
  ↳ 影片的看法是，AI 和其他技術可以把這些費腦又卡關的部分降到零，讓人不用再為這些瑣碎的環節耗掉力氣。
• 01:02 希望 AI 使用更普及後，大家不只發表最終成果，也公開得到成果所走過的各種路徑，因為這些也是很有用的資訊
  ↳ 現在大家通常只發表最後的結果。影片希望 AI 普及後，也把過程中試過的各種路線公開出來，因為這些過程對別人來說也是有用的參考。
• 01:02 認為可以找到方法，兩全其美（best of both worlds）
  ↳ 字幕沒有細講「兩全」指的是哪兩邊，只是表達樂觀：相信能找到辦法，把兩邊的好處同時拿到，不必二選一。

根據影片，OpenAI 表示自己比較在乎哪件事？