菲爾茲獎得主Deng Yu：AI若解盡數學就寫百合
2026年菲爾茲獎得主、37歲的芝加哥大學數學教授Yu Deng在社交平臺寫道：若人工智能能解決所有數學問題，他就回家寫自己的百合小說。
他隨後向英文媒體澄清，目前並未在寫百合小說，那句話完全是玩笑，也不相信人工智能能發展到解決他帖子裏提到的全部數學問題。同帖還寫，人工智能已在數學圈造成焦躁與不耐，這波前沿過去一兩年後局面會逐漸清楚，數學會慢慢適應，新的生態正在成形。
Yu Deng因從硬球動力學長時間嚴格推導玻爾茲曼方程、從非線性色散系統推導波動力學方程，以及發展非線性動力學的概率方法，於7月23日在費城國際數學家大會獲菲爾茲獎，與Hong Wang、John Pardon、Jacob Tsimerman並列。授獎詞稱這項工作是把物理基本定律從第一原理推導出來的世紀級進展之一。他本科先後在北京大學和MIT，博士在普林斯頓，與Zaher Hani、Xiao Ma合作的近兩百頁論文於2025年3月發表。
他公開說過對日本漫畫尤其百合題材的興趣始自MIT時期，獲獎介紹視頻裏的辦公室可見相關讀物；得知獲獎時正在讀戀愛向小說。同期另一位菲爾茲獎得主Jacob Tsimerman則選擇離開數學，前往OpenAI做安全研究，理由是眼看開放問題被模型解決。科學界同時在討論人工智能是否觸及百萬美元級開放問題。
發言本身不改變證明或獎金，但把“模型會不會把定理生產外包掉”從研討會搬到了公開場。買方是要搶數學人才與算力敘事的模型公司，賣方是仍以論文和問題清單爲職業資產的數學家。資金與注意力流向證明助手、形式化驗證和安全崗位。受益的是能把開放問題當成評測的實驗室；承壓的是把全部職業身份押在“尚未被機器窮盡的問題”上的年輕研究者。
來源：公開信息
ABAB AI 解讀
Yu Deng的研究本就是在給“微觀可逆如何長出宏觀不可逆”補嚴格橋樑，現在他用一句玩笑把同一問題翻到職業層面：若機器把問題清單清空，人還剩什麼不可逆的選擇。菲爾茲獎的規則是40歲以下、四年一次，獎勵的是還能定義下一輪問題的人，不是已經寫完的定理本。他把後路寫成百合小說，等於承認審美判斷暫時還無法被同一套自動求解器替換。
資本路徑在另一位得主身上更直白。Jacob Tsimerman拿獎後去OpenAI，走的是“問題被模型喫掉之前，先進入造模型的機構”。數學人才從大學講座教授流向安全與對齊團隊，薪水與算力由實驗室支付，論文優先級讓位於內部評測。Yu Deng選擇留在芝加哥大學繼續做方程，同時用公開玩笑標定自己不相信“全部問題可解”。兩條路徑爭的是同一批40歲以下頭腦。
對照2022年Maryna Viazovska的球堆積和2014年Maryam Mirzakhani曾想當作家：數學家把文學當備胎並不新鮮，新鮮的是備胎被說成“機器勝利條件”。行業階段是工具滲入證明助手、尚未接管問題定義權。Hilbert第六問題的狹義版本剛被人工團隊寫了近兩百頁，說明最硬的推導仍靠長時間組合結構，而不是一次對話生成。
結構上這是技術替代的邊界測試。替代若只發生在可形式化的推導步驟，數學家會變成問題挑選者和驗收者；若連問題清單也被模型窮盡，定價權就從期刊審稿轉到評測基準。機制是：開放問題一旦能被當成競賽分數，資本就會繼續堆模型；不能被當成分數的部分——題目好不好、值不值得做——仍留在人這邊。玩笑把後一部分命名爲小說，是在說判斷力還沒有被收進損失函數。
ABAB News · 認知定律
機器先搶可驗收的題，人留下不可驗收的判斷
後路寫成小說，說明審美還沒被寫進評測
獎給40歲以下，是在買下一輪提問權，不是買題解倉庫