2026 年 10 月 11 日，陶哲軒在加州理工學院公開演講《Math 2.0》，提出數學正從「證明稀缺」走向「證明富足」；同日 Hacker News 首頁出現了他發布的 Math 2.0 PDF，但該來源未提供可讀正文。據機器之心報導，這場演講籌劃已一年多，原定今年 5 月舉行、原題《Machine Assist… 看完整事件
陶哲軒發布 PDF 文件 Math 2.0
陶哲軒（Terence Tao）發布了一份題為 Math 2.0 的 PDF 文件，發布時間為 2026 年 10 月 11 日。本條資料只提供了 PDF 檔案本體，正文內容無法從所給資料中讀取，因此文件的篇幅、具體論點與結論均無法確認。需要了解內容的讀者只能直接開啟原始 PDF。
由陶哲軒署名、以 PDF 形式公開的 Math 2.0，是瞭解其最新論述的第一手材料；但本條資料僅含檔案本體，具體觀點需開啟原 PDF 閱讀。
原標題：Terence Tao: Math 2.0 [pdf]
閱讀原文
| 評分 | 62 / 55（平均 58，門檻 76） |
|---|---|
| 狀態 | 未入選 |
相關報導
陶哲軒轉向 AI 減速派，呼籲模型公司放慢數學研究
數學家陶哲軒在 SAIR 演講中公開呼籲模型公司放慢數學研究節奏，稱 AI 無休止加速卻對後果一無所知，並稱之為 Proof Indigestion（證明消化不良）：AI 只在生成解答與 Lean 驗證上狂飆，理解、評審、寫入教科書幾乎停滯。此前他與 25 位菲爾茲獎得主聯名發表公開信，批評把數學當 benchmark 刷分。OpenAI 隨後回應，宣布在普林斯頓高等研究院設立數學與人工智慧顧問小組，但宣告寫明該小組不就數學上的內部進展提供建議。
OpenAI 放出 722 篇數學手稿，稱攻下準黎曼猜想等難題
OpenAI 在 GitHub 倉庫 openai/math 公開 722 篇數學手稿，歸入 372 個成果族，全部由一個尚未發布的內部前沿模型產出。據 OpenAI 說明，模型被投餵約 4000 個研究問題，平均每個結果消耗約相當於 3 小時 ChatGPT Pro 思考的算力，手稿日期幾乎集中在 9 月 23 日至 10 月 5 日。372 族中有 235 族附帶 Lean 形式化，約佔六成三；OpenAI 承認未形式化的結果可能存在問題，且未公布模型名稱。