來源：滾動播報

（來源：上觀新聞）

鄧煜：芝加哥大學(xué)數(shù)學(xué)系教授。他的研究主要聚焦于非線性色散方程與波動方程、流體動力學(xué)、調(diào)和分析、偏微分方程中的概率方法以及統(tǒng)計物理學(xué)。他于2007年至2009年期間曾就讀于北京大學(xué)，2011年獲得麻省理工學(xué)院數(shù)學(xué)學(xué)士學(xué)位，2015年獲得普林斯頓大學(xué)數(shù)學(xué)博士學(xué)位。他獲得了眾多杰出榮譽，包括MCA獎（2025）、斯隆研究獎（2021）、波特·奧格登·雅各布斯獎學(xué)金（2015）、威廉·洛厄爾·普特南獎學(xué)金（2010），以及國際數(shù)學(xué)奧林匹克競賽金牌（2006）。

問：當(dāng)今數(shù)學(xué)研究的主要方向是什么？

答：AMS（美國數(shù)學(xué)學(xué)會）的Mathematics Subject Classification列出了60個左右的分支，大致也就是分析/概率、代數(shù)/數(shù)論、幾何/拓撲這幾大塊。我的工作方向主要在PDE（偏微分方程）上。

簡單來說，PDE的研究對象是由多元函數(shù)或向量場等（例如空間密度函數(shù)或流體的速度場）描述的，滿足一定物理規(guī)律（如Einstein方程或Schrodinger方程等）的系統(tǒng)。PDE發(fā)展到如今，已經(jīng)能夠回答許多經(jīng)典問題，并對某些簡單的方程給出完整刻畫。當(dāng)然未解問題也還有很多。傳統(tǒng)的分析視角（基于線性和多線性估計，以及對守恒律與單調(diào)律等方程結(jié)構(gòu)的利用）經(jīng)過一個世紀的發(fā)展已經(jīng)相當(dāng)完善，但單一視角或許存在其固有的局限性。

問：數(shù)學(xué)領(lǐng)域還有哪些“未解之謎”？解決它們需要什么樣的突破？

答：所謂“未解之謎”還是有很多的。比如克雷（Clay）著名的七大千禧年問題目前就只解決了一個。這里簡單介紹一下和分析/概率相關(guān)的兩個問題。

Navier-Stokes方程的整體適定性：Navier-Stokes方程是流體力學(xué)中最基本的方程之一，而其是否對任意光滑初值存在整體光滑解，也是最基本的問題之一。這一問題長期未解決的原因是其“超臨界”性，即方程可能在小尺度上產(chǎn)生奇性（比如解在某一點處趨于無窮）；而已知的分析工具（能量不等式等）在這類問題上并不能給出足夠的估計。

Yang-Mills量子場論的構(gòu)造：這一問題涉及Yang-Mills場論的量子化的構(gòu)造及其性質(zhì)（如mass gap）的證明。從分析和概率角度（存在不同視角如拓撲量子場論，限于篇幅這里不展開），需要構(gòu)造的是某個無窮維聯(lián)絡(luò)空間上，形式上由Yang-Mills泛函定義的概率測度。

問：數(shù)學(xué)與當(dāng)今熱門技術(shù)如AI、量子技術(shù)的關(guān)系是什么？

答：我簡單解釋一下數(shù)學(xué)與AI的關(guān)系。我對量子技術(shù)了解不多，但如果量子計算能夠突破并實用化，或?qū)硭惴ê退懔Φ碾p重飛躍，對數(shù)學(xué)研究也可能產(chǎn)生深刻的影響。

簡單來說，存在著所謂“Math for AI”和“AI for Math”的兩個研究方向。前者關(guān)注（神經(jīng)網(wǎng)絡(luò)等）AI技術(shù)的數(shù)學(xué)基礎(chǔ)，本質(zhì)上在試圖回答“為什么神經(jīng)網(wǎng)絡(luò)用來近似任意函數(shù)能夠如此有效”這一問題。就我所知的范圍，目前這一方向尚缺少重大的突破性進展，受到的關(guān)注也相對較少。

同時，“AI for Math”最近則受到了數(shù)學(xué)界和AI學(xué)界的高度關(guān)注。在這方面，近幾年的進展大致可分為以下幾類：

（1）用AI尋找PDE可能的近似解（profile），并結(jié)合區(qū)間算術(shù)與計算機輔助證明來嚴格構(gòu)造方程的特殊解。

（2）用AI進行“數(shù)學(xué)實驗”，從已知結(jié)果與數(shù)據(jù)中尋找規(guī)律，并以此為基礎(chǔ)尋求已有結(jié)果的改進，或進一步總結(jié)出一般結(jié)論并證明。在此方向，AlphaEvolve團隊的論文報告了在各不同領(lǐng)域取得的進展。

（3）AI自動證明。目前各主流大語言模型均有一定書寫數(shù)學(xué)證明的能力，各大AI企業(yè)也在同時研發(fā)專用于數(shù)學(xué)證明的模型。就目前而言，這些大模型的能力似乎足以解決一般的數(shù)學(xué)競賽級別題目，對部分較困難的題目則需依賴更強的算力。

（4）AI自動形式化，即用大模型將自然語言書寫的數(shù)學(xué)證明轉(zhuǎn)化為Lean等形式語言，從而自動驗證其正確性。這一目標(biāo)比起自動證明似乎更簡單些，但如能實用化將大大簡化數(shù)學(xué)界的審稿流程。同樣地，目前大模型的能力似乎局限于在人類提供部分幫助下，形式化一些篇幅較短的證明（如最近Math Inc.的智能體Gauss成功形式化了素數(shù)定理的證明）。

問：基礎(chǔ)數(shù)學(xué)研究與算力、算法的關(guān)系？

答：就目前而言，AI（算法和算力）的發(fā)展對基礎(chǔ)數(shù)學(xué)的影響仍較為有限。主要原因是，當(dāng)前AI for Math依然局限于特殊領(lǐng)域的特殊問題（如尋找PDE的近似解）與一般領(lǐng)域的簡單問題（最近AI幫助解決了數(shù)個Erdos問題，但多數(shù)情況下AI所做的仍是從文獻中發(fā)掘已有的證明，而非原創(chuàng)證明）。

隨著將來AI算法和算力的進一步發(fā)展，當(dāng)AI工具的能力足以真正在數(shù)學(xué)研究中發(fā)揮一定作用時，基礎(chǔ)數(shù)學(xué)的研究方式亦可能隨之改變。到那時（如果有的話）AI是會作為研究助手還是獨立研究者存在，人類數(shù)學(xué)家又將扮演怎樣的角色，目前還不得而知。

問：對于當(dāng)代青少年來說，數(shù)學(xué)素養(yǎng)應(yīng)包含哪些要點？

答：對一般青少年的期望自然與對專業(yè)數(shù)學(xué)家不同，我也非數(shù)學(xué)教育方面專家，只能從個人角度嘗試討論一些重點。

（1）邏輯：邏輯可謂人類思維中最重要的部分之一，它不僅是數(shù)學(xué)的基礎(chǔ)，也在日常生活與決策中起到重要作用。當(dāng)然并非生活中所有問題都可簡化為邏輯判斷，但良好的邏輯素養(yǎng)能使人形成良好的直覺，后者在很多情況下都是大有助益的。

（2）統(tǒng)計：在當(dāng)代乃至近未來，每個人接觸到的信息量會越來越大，這就需要從大量信息中總結(jié)提取最重要和有用的部分。同樣，這里的“統(tǒng)計”未必指向具體理論，而是一種“掌握宏觀趨勢，而不被微觀個例所迷惑”的直覺。

（3）分析：在分析學(xué)中，最重要的能力之一是從某個整體的不同部分貢獻中分離主要與次要成分。這一點對普通人也有著重要意義：對一件復(fù)雜事物，如何抓住起主要作用的因素，并對其進行控制以達到想要的結(jié)果。此外，也包括如何分析事物的變化趨勢等等。

（4）結(jié)構(gòu)化：相對于分析學(xué)，代數(shù)學(xué)的重點則是“抽象”或“結(jié)構(gòu)化”，即在本質(zhì)相同的不同事物間建立聯(lián)系。顯然這點在生活中也是相當(dāng)重要的：其有助于看清不同事物的本質(zhì)并作出相應(yīng)的決策。

總之，數(shù)學(xué)素養(yǎng)不同于數(shù)學(xué)知識或數(shù)學(xué)能力，但對數(shù)學(xué)的了解有助于獲得良好的數(shù)學(xué)素養(yǎng)。以此為目標(biāo)該如何對青少年進行教育和培養(yǎng)，尚有待數(shù)學(xué)教育專家的研究。

原標(biāo)題：《“科學(xué)之母”數(shù)學(xué)的熱點何在》

欄目編輯：馬丹

來源：作者：新民晚報 張炯強