AI 時代數學的價值：客座文章談無我數學
客座文章《Egoless Mathematics in the AI Era》討論 AI 時代數學工作的目的與價值。作者區分數學是被髮明還是被發現，並以 Platonic 視角強調數學真理獨立於個人；同時指出能生成形式正確的推導不等於理解其意義，出版物、引用和獎項等績效指標不應定義工作本身的價值。文章認為，對 AI 取代數學家的焦慮暴露了此前已把人視為產出能力的觀念，回應不應只依賴創造力、直覺等相對機器的人類優勢。
原標題：Egoless Mathematics in the AI Era
閱讀原文
| 評分 | 25 / 30（平均 27，門檻 76） |
|---|---|
| 狀態 | 未入選 |
相關報導
Wolfram 撰文討論 AI 時代純數學研究的未來
Wolfram 於 2026 年 9 月 28 日發文，回應 AI 不斷解出數學題後“是否還需要人類做數學研究”的討論。他認為現代 AI 的最大價值在於挖掘人類數學知識庫並建立連線，但純數學的核心是引導提問的人類想像力；計算則能通過計算不可約性不斷生成全新結果。他以 1988 年 Mathematica 問世時類似的擔憂作類比，指出工具只是提升了可做的數學層次。
數學家 Jeremy Avigad 談 AI 衝擊下的數學研究
數學家 Jeremy Avigad 在客座文章中寫道，過去幾個月 AI 已能輕鬆生成一年前足以發表的數學成果，數學家日常工作流程中相當一部分必然改變。他給出三個應對方向，前兩個是解更難的問題、想更大的思想，並指出目前 AI 攻克的開放問題多是把現有技術拼接而成，靠強化學習訓練的系統長於超人式機敏，卻可能缺少創造力與更高層的戰略思考。
3Blue1Brown 談 AI 與數學：現在是進入數學最好的時機
3Blue1Brown 於 10 月 16 日發布影片，主題是現在或許是進入數學最好的時機。影片分 7 章，依次講數學學生的焦慮、數學如何運作，以及 AI 作為證明機器、猜想機器與理論機器各自能做到什麼；最後兩章討論如果 AI 在一切方面都更強該怎麼辦，並給出對數學前景的判斷，描述區還附了一篇 Proofs and Prompts 的相關文章。發布兩天播放量約 197 萬，點贊 3.2 萬。
陶哲軒回應 OpenAI 數學成果：數學需轉向 Math 2.0
陶哲軒就 OpenAI 近期數學成果發文，提出數學研究應從「Math 1.0」轉向「Math 2.0」。他指出，AI 提示者自主解出公開問題後並不理解結果，無法答疑或作報告，相關研討會與合作遠少於傳統突破，新人流入減少，有前景的方向還被隱瞞以防被搶發。問題一旦被解決就無法回退，公開問題正被大規模、不可持續地收割，令整個數學領域變得貧瘠。他主張 Math 2.0 淡化單純解題，重視闡述、社群建設與開闢新方向，並重新評估教育、發表與晉升標準。
陶哲軒宣告數學 2.0 時代：AI 讓證明從稀缺走向氾濫
菲爾茲獎得主陶哲軒發布《數學 2.0》演講，宣告建立在證明稀缺之上的數學 1.0 時代落幕：AI 正讓數學證明變得氾濫。他呼籲建立更透明的評估機制，把失敗結果與算力成本一併納入報告，並減少對搶先生成證明的強調，轉而重視解釋、評審與知識整理；其參與創立的 SAIR 基金會開放數學模型計劃將很快發布。此番表態的背景是 OpenAI 一次性發布 722 篇數學論文後，陶哲軒牽頭成立人類數學協會（AHM），並呼籲數學家停止與 OpenAI 合作。