陶哲軒 2023 年公開預言：AI 會成為可信的共同作者

更正（2026 年 9 月）：影片開頭說「四位共同作者裡有三位是人工智慧系統」，這是我們寫錯了。arXiv:2511.02864 上掛名的四位作者是 Bogdan Georgiev、Javier Gómez-Serrano、陶哲軒、Adam Zsolt Wagner，四位都是人類研究者。AlphaEvolve、Gemini Deep Think、AlphaProof 是研究中使用的系統，沒有列入作者名單，陶哲軒也沒有說過它們是共同作者。感謝 @AlertImDK 指出。影片裡談這三個系統各自做了什麼、以及他 2023 年的預測，不受影響。 一篇數學論文，四位作者裡有三位是人工智慧。第四位是菲爾茲獎得主陶哲軒。 二零二五年十一月三日，一篇預印本掛上了 archive。看起來很普通——八十一頁、四位共同作者，結果跟掛谷猜想有關。只是，四位作者裡有三位是 AI 系統：Alpha Evolve、Gemini Deep Think、Alpha Proof。第四位是陶哲軒。 二零二三年，他曾公開預言：到了二零二六年，若使用得當，AI 會成為數學研究裡可信的共同作者。這篇論文，比二零二六年還早兩個月就出現了。 這不是「AI 取代數學家」的故事。這是六個月裡，人工智慧從工具變成合作者的故事——一條閉環：探索、證明、驗證；以及 Google DeepMind 在幾乎沒人注意到之前，就悄悄拉進來的五所頂尖數學機構。歷史上有過類似的震動：一九七六年的四色定理，電腦證明引發了幾十年的爭論；二十九年後才被形式化。現在，同一套系統可以在同一篇論文裡找到答案，也核對答案。 二零二六年三月，陶哲軒在 UCLA IPAM 工作坊說：「AI 省下的時間，多過它浪費的。」克制。精確。卻很沉重。機器已經就緒。數學家點了頭。 章節 0:00 聯名發表 0:50 這位數學家 2:40 閉環 5:33 四色定理 7:15 五所機構 9:05 加入他們 資料來源 SOURCES • Google DeepMind AI for Math 計畫（2025·10·29）: https://blog.google/technology/google... • arXiv 論文（掛谷相關 · 陶哲軒等）: https://arxiv.org/abs/2511.02864 • 陶哲軒部落格 / 公開發言（2023 預言與後續）: https://terrytao.wordpress.com/ • OpenAI Academy 訪談（2026·3）: https://academy.openai.com/ • Nature 653 專訪（2026·5）: https://www.nature.com/ • Lean 定理證明器: https://lean-lang.org/ • mathlib4: https://github.com/leanprover-communi... • Kevin Buzzard · 帝國學院: https://profiles.imperial.ac.uk/k.buz... • Dvir 2008（J. AMS）: https://www.ams.org/journals/jams/ 延伸觀看（AI 科學時代） ▶ 陶哲軒確認：AI 協助找到 87 年數學猜想的反例（V043）:    • Terence Tao Just Verified an AI Helped Bre...   ▶ AI 幫忙打破了撐了 87 年的數學規則（相關） 訂閱這個頻道，看人工智慧如何改寫一門比多數國家都古老的學科——清楚、誠實、不吹捧。 #陶哲軒 #菲爾茲獎 #AlphaEvolve #DeepMind #AI數學 #掛谷猜想 #Lean #數學AI #共同作者 #AI科學時代