Terence Tao

資料來源#

• Advancing Mathematics Research with AI-Driven Formal Proof Search
• After Math
• Noam Brown – Agent swarms, alignment, & recursive self-improvement

摘要#

UCLA 的數學家、2006 年菲爾茲獎得主；而在這份語料中特別而言，他是 AI-for-mathematics 相關來源不斷引述的獨立節點。他出現在四份原始文件中，沒有一份由他撰寫，並扮演三種截然不同的角色：機器成果的登錄者、質疑這些成果究竟意味著什麼的懷疑者，以及刊載領域最大主張之批評的東道主。這份 wiki 中沒有任何來源是 Tao 本人撰寫的一手文件；以下每次提及他，都是別人引用他。

語料所記錄的三種角色#

登錄者。 DeepMind 的形式證明搜尋論文指出，其 Erdős 解題成果「已登錄於 Terence Tao 關於 AI 對 Erdős 問題貢獻的 wiki」(Advancing Mathematics Research with AI-Driven Formal Proof Search, empirical — 請參閱 AI-Driven Formal Proof Search、AlphaProof Nexus)。這個 wiki 是實驗室的主張進入公開紀錄的地方，由一位對結果沒有利害關係的人維護；就這個領域而言，這是本語料所知唯一這樣的紀錄。

懷疑者。 Noam Brown 將 Tao 的立場作為對己方成果的持續質疑：「我想 Terry Tao 寫過一篇類似的文章……他們解出了很多這類問題，但我不知道他們是否提出了新的洞見，或是提出有洞見的新問題與思考數學的新理論模式……所以，若把數學的實際進展廣義來看，可能比只看那些範圍明確、能直接解出的問題所呈現的要小」(Noam Brown – Agent swarms, alignment, & recursive self-improvement)。這項質疑由一位倡議者親口承認，因此在 Transformative Creativity 的討論中格外有分量。

東道主。 2026-09-12，他的部落格刊載了 De Toffoli 和 Duede 的〈After Math〉(After Math, practitioner-opinion)，並以 Tao 本人的口吻簡短介紹客座作者。Tao 並非該文作者，wiki 不應將其論點歸於他——但文中的第二項論證依據的是他在 2026 年列出的數學目標（不限於解題）（arXiv 2608.16753）：發展新理論與技巧、理解世界、維繫社群、培育下一代、累積知識，以及創作具有美學價值的作品。請參閱 Logical vs Intelligible Proof。

他也是 Mathematical exploration and discovery at scale（Georgiev、Gómez-Serrano、Tao、Wagner）的共同作者；這篇論文出現在 Stellar Colosseum 的參考文獻列表中，在本語料其他地方則沒有出現。

相關連結#

• AI-Driven Formal Proof Search — 他的 Erdős wiki 是公開登錄處，記錄了該研究典範對未解問題的解答
• Logical vs Intelligible Proof — 他的數學目標列表是該文第二項論證的骨幹；他的部落格則是刊載平台
• Transformative Creativity — 「解出問題卻沒有提出新洞見」這項質疑，已由一位倡議者公開承認
• AlphaProof Nexus — 這套系統的 9/353 項 Erdős 成果已登錄於他的 wiki
• The Navier–Stokes AI Claim — 他部落格刊載了對該主張的回應

開放問題#

• Tao 於 2026 年發表的數學目標論文（arXiv 2608.16753）在此僅透過第二手資料引用，不在本語料中；Erdős 貢獻 wiki 也未收錄，而來源所提及的機器未解問題解答獨立公開紀錄中，它是唯一的一份。若能納入其中任一項，就能在這兩方面以一手來源取代第二手描述。

資料來源#

• After Math — 刊載客座文章並提供編輯引言；De Toffoli 和 Duede 引述的 arXiv 2608.16753 數學目標列表也源自此文。Tao 只寫了斜體的引介說明，並未撰寫論證
• Advancing Mathematics Research with AI-Driven Formal Proof Search — 其中一句提到 DeepMind 的 9/353 項成果登錄於 Erdős wiki
• Noam Brown – Agent swarms, alignment, & recursive self-improvement — Brown 提到「Terry Tao 寫過一篇類似的文章」，作為質疑自己領域進展主張的論據。這是第三方轉述，不是 Tao 的文件