2月11日，陶哲軒在UCLA（加州大學(xué)洛杉磯分校），發(fā)表首場(chǎng)主題演講《機(jī)器輔助與數(shù)學(xué)研究的未來(lái)》：

作者摘要：
近年來(lái)，多種機(jī)器輔助的數(shù)學(xué)輔助方式迅速成熟，尤其是在形式證明助手、大語(yǔ)言模型、在線協(xié)作平臺(tái)及其相互作用方面。我們回顧了這些發(fā)展，并推測(cè)它們將如何影響未來(lái)的數(shù)學(xué)研究實(shí)踐。
核心要點(diǎn)筆記（極簡(jiǎn)版）

• 數(shù)學(xué)很保守

  教材、黑板、小團(tuán)隊(duì)合作，兩百年來(lái)變化很小。

• AI 帶來(lái)三大突破

  規(guī)?；芯俊⒋蟊娍蓞⑴c、形式化驗(yàn)證過(guò)濾錯(cuò)誤。

• 埃爾德什問(wèn)題集現(xiàn)狀

• • AI 成功率約 1%–2%

  • 能解決關(guān)注人少、中等難度問(wèn)題

  • 暫時(shí)啃不動(dòng)頂級(jí)難題

• 未來(lái)模式

• • 人類主攻深度思想

  • AI 負(fù)責(zé)檢索、計(jì)算、批量嘗試、形式化

  • 社區(qū) + 工具 + 驗(yàn)證 = 新數(shù)學(xué)

• 長(zhǎng)期判斷

• • AI 會(huì)變成標(biāo)配工具，而非取代數(shù)學(xué)家

  • 跨學(xué)科合作（數(shù)學(xué) × 物理 × 生物）也將因此受益

以下正文為完整演講內(nèi)容（含Q&A問(wèn)答環(huán)節(jié)）

作者：陶哲軒（Terence Tao） & SAIR基金會(huì) 2026-2-11

譯者：zzllrr小樂(lè)（數(shù)學(xué)科普公眾號(hào)）2026-2-15

陶哲軒演講全文

嗯，我們能建立的所有這些新聯(lián)系……我覺得 IPAM（加州大學(xué)洛杉磯分校純數(shù)學(xué)與應(yīng)用數(shù)學(xué)研究所）這個(gè)平臺(tái)的核心就是搭建交流與聯(lián)結(jié)，而今天這場(chǎng)活動(dòng)，正是探討一個(gè)非常重要話題的絕佳場(chǎng)合。

好的，那我接下來(lái)要講的是數(shù)學(xué)正在如何發(fā)生改變。過(guò)去幾年里，大家能明顯感受到一股熱潮：AI人工智能和各類工具在數(shù)學(xué)以及其他領(lǐng)域的能力越來(lái)越強(qiáng)。但我認(rèn)為，真正的變革，是從今年才真正開始落地的。

說(shuō)實(shí)話，數(shù)學(xué)這門學(xué)科早就該迎來(lái)一些革新了。因?yàn)樵诤芏喾矫妫覀兪且粋€(gè)極度保守的領(lǐng)域——不是政治意義上的保守，而是研究與教學(xué)方式上的保守。

我給大家舉兩個(gè)例子。

差不多 201 年前，柯西寫過(guò)一本專著，奠定了復(fù)分析的基礎(chǔ)，比如大家熟知的柯西公式。這本書是用法語(yǔ)寫的，不是拉丁語(yǔ)——（笑聲）——但除此之外，它和你今天看到的教材幾乎一模一樣。我們現(xiàn)在教數(shù)學(xué)的方式，只在次要細(xì)節(jié)上有變化。一個(gè)研究復(fù)分析的研究生，基本上能完全看懂那本兩百年前的書。

還有，我們至今仍極度依賴黑板。數(shù)學(xué)幾乎是唯一一個(gè)還在大量使用黑板的學(xué)科，甚至到了攝影師都把黑板當(dāng)成一種藝術(shù)形式的地步。事實(shí)上，杰西卡·溫就出過(guò)一本很精美的畫冊(cè)，專門拍攝數(shù)學(xué)家的黑板，把它當(dāng)作一種別處看不到的獨(dú)特藝術(shù)。（笑聲）

所以我們這個(gè)領(lǐng)域確實(shí)有點(diǎn)與眾不同。

再比如，我們的合作程度非常低，至少直到最近都是如此。哪怕和其他自然科學(xué)比也是這樣。這里有一張十年前的圖表，統(tǒng)計(jì)的是數(shù)學(xué)、化學(xué)、物理論文的合著人數(shù)。幾十年來(lái)，數(shù)學(xué)論文的合作者一直停留在 1～2 人；而其他學(xué)科早就意識(shí)到，現(xiàn)代研究需要廣泛協(xié)作、多元團(tuán)隊(duì)。我們?cè)谶@方面明顯落后，沒能跟上科學(xué)規(guī)?；?、產(chǎn)業(yè)化的趨勢(shì)。

這背后是有原因的，不只是因?yàn)閿?shù)學(xué)家“不愛社交”。（笑聲）

首先，數(shù)學(xué)的入門門檻極高，很多問(wèn)題甚至需要數(shù)學(xué)博士才能理解題意。

其次，我們對(duì)證明的嚴(yán)謹(jǐn)性要求極高。我們希望每一步都絕對(duì)正確。如果 10 個(gè)人合作，只要有一個(gè)人不可靠、給出的論證站不住腳，要么所有人都得逐一核對(duì)——這非常繁瑣——要么整個(gè)工作流程就無(wú)法規(guī)?；?。

黑板在兩三個(gè)人討論時(shí)非常棒，和思維同頻的人一起在黑板上推導(dǎo)問(wèn)題，體驗(yàn)堪稱絕佳。

但如果是 20 人、50 人，分布在不同國(guó)家，你就沒法靠一塊黑板、甚至靠 Zoom 真正解決一個(gè)復(fù)雜問(wèn)題。

所以，數(shù)學(xué)不像其他學(xué)科那樣與時(shí)俱進(jìn)，是有客觀原因的。

但我認(rèn)為，隨著技術(shù)發(fā)展，這一切即將改變。

過(guò)去一兩年，我們終于開始出現(xiàn)大規(guī)模合作項(xiàng)目。

我喜歡打一個(gè)比方：

在實(shí)驗(yàn)科學(xué)里，有兩種研究模式：

一種是個(gè)案研究——盯著一個(gè)對(duì)象，做深度、細(xì)致的分析。這很像傳統(tǒng)數(shù)學(xué)：盯著一個(gè)問(wèn)題、一個(gè)概念，仔細(xì)鉆研。

另一種是群體普查——研究上千個(gè)樣本，做數(shù)據(jù)分析、統(tǒng)計(jì)，看比例、看規(guī)律。

而在數(shù)學(xué)里，我們一直做不到第二種，因?yàn)橹钡阶罱?，我們都沒有工具能系統(tǒng)地研究“一大批問(wèn)題”。

現(xiàn)在，我們終于可以開始廣泛參與了。

在其他科學(xué)里，早就有公民科學(xué)：業(yè)余愛好者可以收集蝴蝶、觀測(cè)彗星、采集水樣……哪怕數(shù)據(jù)沒那么完美、有噪聲，依然能用。

而直到不久前，數(shù)學(xué)還做不到這一點(diǎn)，除了找大素?cái)?shù)等少數(shù)項(xiàng)目能吸引愛好者參與。

但現(xiàn)在，數(shù)學(xué)也可以了。

我們開始出現(xiàn)這樣的項(xiàng)目：貢獻(xiàn)者不只是職業(yè)數(shù)學(xué)家，還有研究生、中學(xué)生、計(jì)算機(jī)行業(yè)、科技行業(yè)的愛好者，利用業(yè)余時(shí)間參與。

越來(lái)越多人能用有趣的方式為數(shù)學(xué)做出貢獻(xiàn)。

當(dāng)然，還有人工智能。

AI 發(fā)展得極快，現(xiàn)在已經(jīng)能實(shí)時(shí)助力這些項(xiàng)目，帶來(lái)的效率提升遠(yuǎn)大于它帶來(lái)的麻煩。我們已經(jīng)跨過(guò)了這個(gè)臨界點(diǎn)。

而讓這一切真正運(yùn)轉(zhuǎn)起來(lái)的，還有一個(gè)秘密武器：

形式化驗(yàn)證。

自動(dòng)檢驗(yàn)論證是否正確的技術(shù)取得了巨大進(jìn)步。

哪怕來(lái)自 AI、大眾或大規(guī)模項(xiàng)目的貢獻(xiàn)并不完全可靠，我們也有辦法過(guò)濾掉不可信的內(nèi)容，留下優(yōu)質(zhì)成果。這一點(diǎn)帶來(lái)了顛覆性改變。

我這幾年多次講過(guò)類似內(nèi)容，以前通常會(huì)列舉 AI、神經(jīng)網(wǎng)絡(luò)在單點(diǎn)問(wèn)題上取得的進(jìn)展。

但正如我所說(shuō)，我們現(xiàn)在進(jìn)入了規(guī)?；瘯r(shí)代。

所以今天我只重點(diǎn)講一個(gè)“群體研究”案例，我把它叫做一次樣本普查——就是最近在社交網(wǎng)絡(luò)上很火的：

埃爾德什問(wèn)題集。

https://www.erdosproblems.com

它是第一批能讓我們系統(tǒng)用上所有這些新工具的大規(guī)模問(wèn)題庫(kù)，可以清晰看出哪些方法有效、優(yōu)勢(shì)和局限在哪里。

保羅·埃爾德什（Paul Erd?s, 1913—1996）

保羅·埃爾德什是 20 世紀(jì)一位極其多產(chǎn)的數(shù)學(xué)家，發(fā)了 1500 多篇論文，至今可能仍是紀(jì)錄保持者。他幾乎和所有人都合作過(guò)。（笑聲）他特別喜歡提問(wèn)題，我 10 歲見過(guò)他，他當(dāng)場(chǎng)就丟給我一個(gè)問(wèn)題，我們一起研究，雖然沒解決，但后來(lái)被別人解決了。

他最有名的特點(diǎn)之一，就是不斷提出問(wèn)題，有些還設(shè)了現(xiàn)金獎(jiǎng)勵(lì)。大部分獎(jiǎng)金不高，幾十美元，但有少數(shù)問(wèn)題影響極大。

比如其中一個(gè)問(wèn)題，他懸賞了 5000 美元，至今仍是開放問(wèn)題。我本人也研究過(guò)它的一些方向，很多階段性成果都發(fā)在了頂級(jí)期刊。

埃爾德什很擅長(zhǎng)提出這種好問(wèn)題：non-trivial（非平凡），也不是完全不可能，剛好處在只要有進(jìn)展就很有價(jià)值的邊界上。

他把這類問(wèn)題叫作橡子：需要深刻、精妙的新洞見，最終能長(zhǎng)成參天大樹。

但他提了大約一千多個(gè)問(wèn)題，不都是“橡子”。

有些后來(lái)發(fā)現(xiàn)簡(jiǎn)單得離譜。

比如他問(wèn)過(guò)一個(gè)階乘方程有沒有解，看上去像個(gè)經(jīng)典數(shù)論問(wèn)題。幾十年后人們用計(jì)算機(jī)一搜就發(fā)現(xiàn)：無(wú)解，有非常直接的反例。

https://www.erdosproblems.com/399

他自己也知道這類問(wèn)題，把它們叫作棉花糖：只是一口小甜點(diǎn)，短暫有趣一下。

所以這一千多個(gè)問(wèn)題難度差異極大。

這里我要先澄清一個(gè)誤區(qū)：

最近社交媒體上，有些 AI 公司宣傳“我們解決了 5 個(gè)、6 個(gè)埃爾德什問(wèn)題”，仿佛數(shù)學(xué)家的工作就是天天解這種題。

我必須先說(shuō)明：解題只是數(shù)學(xué)研究的一部分。

我們更關(guān)心理解概念、溝通、簡(jiǎn)化、建立理論。解題的意義，往往不在于問(wèn)題本身有多少應(yīng)用，而在于解題過(guò)程中會(huì)發(fā)現(xiàn)新方法。

比如等差數(shù)列相關(guān)問(wèn)題，直接催生了整個(gè)加性組合領(lǐng)域。

但不管怎么說(shuō)，這一千個(gè)問(wèn)題，有解的、未解的，在計(jì)算機(jī)科學(xué)家眼里，非常像一個(gè)基準(zhǔn)測(cè)試集。

它不是官方基準(zhǔn)，但非常誘人：你可以拿新 AI 工具來(lái)測(cè)——能解多少個(gè)？

它成了一個(gè)很好的數(shù)據(jù)集，用來(lái)快照式評(píng)估當(dāng)前工具的水平，還能做對(duì)比實(shí)驗(yàn)：哪種 AI 用法更有效？只看一兩個(gè)成功案例看不出來(lái)，但一千個(gè)問(wèn)題就可以做數(shù)據(jù)分析。

當(dāng)然，這里也有不少炒作。我直接說(shuō)結(jié)論：

目前 AI 并沒有在數(shù)學(xué)家最關(guān)心的那些頂級(jí)難題上取得突破。

它解決的，大多是關(guān)注度不足的問(wèn)題：只在論文里出現(xiàn)過(guò)一兩次，幾乎沒有后續(xù)文獻(xiàn)，沒人認(rèn)真深挖。

但 AI 可以規(guī)模化，所以它能幫我們清理掉一大批被人類忽略的“低垂果實(shí)”。

即便如此，AI 的能力提升絕不是純炒作，是肉眼可見的真實(shí)進(jìn)步。

對(duì)我來(lái)說(shuō)，這些進(jìn)展真正展示的是：

數(shù)學(xué)可以有一種互補(bǔ)的新模式。

傳統(tǒng)上，人類小團(tuán)隊(duì)花數(shù)月攻克難題，我們會(huì)繼續(xù)這么做。

但同時(shí)，我們可以讓 AI 去規(guī)?；瘨呤幰磺€(gè)問(wèn)題，把所有簡(jiǎn)單可解的先解決掉：把 20 種技巧自動(dòng)套用到一萬(wàn)個(gè)問(wèn)題上，看哪些能直接攻破——這就是現(xiàn)在 AI 能做到的。

我們還能做統(tǒng)計(jì)。

從去年 9 月起，我們開始追蹤數(shù)據(jù)：

這一千多個(gè)問(wèn)題里，目前還有 699 個(gè)未解決；已解決大約 480 個(gè)，數(shù)量一直在穩(wěn)步上升。AI 大約從某個(gè)節(jié)點(diǎn)開始大幅貢獻(xiàn)；還有一次激增是因?yàn)槲墨I(xiàn)檢索工具出現(xiàn)，AI 從舊文獻(xiàn)里挖出了一堆早已被解決但沒被統(tǒng)計(jì)進(jìn)來(lái)的答案。

最近幾周增速有所放緩，可能是因?yàn)橛行碌幕鶞?zhǔn)出現(xiàn)，吸引了大量注意力。

同時(shí)，我們還在把很多證明形式化，用 Lean 語(yǔ)言進(jìn)行機(jī)器驗(yàn)證。

很多進(jìn)步現(xiàn)在看起來(lái)平平無(wú)奇，但半年前還覺得很震撼，就像當(dāng)年的網(wǎng)頁(yè)搜索：剛出現(xiàn)時(shí)驚為天人，現(xiàn)在習(xí)以為常。

現(xiàn)在的深度研究工具，可以讓 AI 檢索海量文獻(xiàn)，跨語(yǔ)言、跨領(lǐng)域，找到幾十年前某篇論文里的相似結(jié)論，稍微修改就能解決當(dāng)前問(wèn)題。

我們終于有了語(yǔ)義檢索，這是我們多年想要的能力。

AI 偶爾會(huì)編造參考文獻(xiàn)，但至少文獻(xiàn)檢索可以手動(dòng)核對(duì)。

就這樣，二三十個(gè)埃爾德什問(wèn)題被解決。

現(xiàn)在用 AI 生成代碼、做數(shù)值實(shí)驗(yàn)也極其簡(jiǎn)單。

更重要的是形式化速度大幅提升：

以前把非形式證明轉(zhuǎn)成可機(jī)器檢查的形式證明要花幾周，現(xiàn)在幾小時(shí)就能完成。

這對(duì)和 AI 合作至關(guān)重要，因?yàn)?AI 生成的幾頁(yè)證明常常夾雜錯(cuò)誤，沒人有時(shí)間逐行看，但自動(dòng)轉(zhuǎn)成形式證明后，能不能通過(guò)一目了然，我們就能處理大量 AI 輸出的證明。

我自己最近一篇論文也用到了 AI：用它驗(yàn)證結(jié)論、畫專業(yè)級(jí)圖表，比自己寫 Python 快得多。

哪怕只做這些輔助工作，AI 已經(jīng)非常優(yōu)秀。

這就是形式化證明的樣子，有點(diǎn)像數(shù)學(xué)和 Python 的混合體。對(duì)專家來(lái)說(shuō)有點(diǎn)冗長(zhǎng)、不夠優(yōu)雅，但只要能編譯過(guò)，我們就滿意了。優(yōu)雅可以以后再優(yōu)化。

我們能取得這么多進(jìn)展，還有一個(gè)關(guān)鍵：社區(qū)。

Thomas Bloom 非常努力地建立了社區(qū)、論壇和規(guī)則。

我們既不極端捧 AI，也不極端反 AI。

論壇允許 AI 生成的解法，但有明確規(guī)則：

必須披露、必須總結(jié)、必須對(duì)內(nèi)容負(fù)責(zé)、不能刷屏、長(zhǎng)內(nèi)容放鏈接。

這套合理的規(guī)則運(yùn)行得很好，避免了被低質(zhì) AI 內(nèi)容淹沒，傳統(tǒng)數(shù)學(xué)家和 AI 輔助研究者之間有了建設(shè)性交流。

我快速舉兩個(gè)真實(shí)的人機(jī)協(xié)作案例：

第一個(gè)是問(wèn)題 367，嚴(yán)格來(lái)說(shuō)還沒完全解決，它有兩個(gè)不等式。

AI 證明了其中一個(gè)，另一個(gè)仍開放。

https://www.erdosproblems.com/367

過(guò)程是：

一位參與者做數(shù)值實(shí)驗(yàn)，得到一個(gè)構(gòu)造，但需要證明一個(gè)恒等式；

我登錄論壇，沒手推，直接把問(wèn)題給了 Gemini，它用稍復(fù)雜的工具證明了缺失步驟；

我把證明簡(jiǎn)化解釋在論壇；

第三個(gè)人把證明喂給 AI 自動(dòng)形式化工具，轉(zhuǎn)成 Lean 代碼，驗(yàn)證通過(guò)。

這就是典型的人機(jī)協(xié)作鏈條。

第二個(gè)例子，也是最后一個(gè)：

問(wèn)題 1026，我們完全解決了。

https://www.erdosproblems.com/1026

它可以理解成一個(gè)硬幣游戲：

愛麗絲把硬幣分成 n 堆，鮑勃只能選單調(diào)遞增或單調(diào)遞減的堆，要讓自己拿到最多硬幣；愛麗絲要讓自己損失最少。

問(wèn)題是：這個(gè)游戲的公平價(jià)格是多少？也就是 c(n) 是多少？這就是埃爾德什的問(wèn)題。

論壇里有人用線性規(guī)劃算出小 n 的情況，提出猜想：

如果堆數(shù)是平方數(shù) k2，最優(yōu)比例是 1/k。

后來(lái)用深度檢索發(fā)現(xiàn)，這個(gè)猜想 1980 年就有人提過(guò)，只是我們不知道。

兩個(gè)月沒進(jìn)展，直到有人把猜想喂給自動(dòng)證明工具，居然證出來(lái)了。

AI 把硬幣問(wèn)題巧妙轉(zhuǎn)化成了小正方形填大正方形的問(wèn)題，我們都很意外。

后來(lái)發(fā)現(xiàn) 1959 年有過(guò)類似技巧，2016 年也有人用別的方法解決過(guò)平方情況。

所以這不是全新的開放問(wèn)題突破，但方法很有創(chuàng)造性。

但它只解決了平方數(shù)情況，那非平方數(shù)呢？

線性規(guī)劃到后來(lái)規(guī)模指數(shù)爆炸，算不動(dòng)。

我用另一個(gè) AI 工具 AlphaEvolve，算出直到 n=16 的最優(yōu)或近似最優(yōu)分堆方式，觀察規(guī)律，給出 c(n) 的猜想；

合作者又把猜想簡(jiǎn)化；

再后來(lái)有人發(fā)現(xiàn)，這個(gè)函數(shù)和另一個(gè)正方形裝箱問(wèn)題里的函數(shù)幾乎一樣，而那個(gè)問(wèn)題兩年前剛被解決。

把這些拼在一起，我們最終完整解決了問(wèn)題 1026，并且已經(jīng)形式化驗(yàn)證。

這是非常迷人的人機(jī)協(xié)作過(guò)程。

總結(jié)

AI 已經(jīng)讓數(shù)學(xué)以前所未有的規(guī)模、速度展開新可能，參與者也空前廣泛。

最重要的是：當(dāng)你有一套系統(tǒng)化的問(wèn)題或任務(wù)數(shù)據(jù)集，很多好事就會(huì)發(fā)生。

計(jì)算機(jī)科學(xué)早就懂這一點(diǎn)，但數(shù)學(xué)家以前不夠重視數(shù)據(jù)集。

現(xiàn)在，有了好的任務(wù)集，有大量工具，有很多非職業(yè)數(shù)學(xué)家愿意嘗試，就會(huì)出現(xiàn)各種意想不到的進(jìn)展。

AI 顯著降低了數(shù)學(xué)的入門門檻。

有些問(wèn)題甚至是高中生在 AI 輔助下解決的，而且能用 Lean 嚴(yán)格驗(yàn)證。

另一點(diǎn)至關(guān)重要：驗(yàn)證機(jī)制。

大家都見過(guò)不加驗(yàn)證的 AI 會(huì)帶來(lái)什么。

AI 本身已經(jīng)很強(qiáng)，但人機(jī)協(xié)作的潛力才更大，尤其適合長(zhǎng)尾應(yīng)用。

對(duì)于最難的那幾個(gè)頂級(jí)難題，目前還不清楚怎么直接應(yīng)用這套方法；

但如果是一千個(gè)中等難度問(wèn)題，AI 非常強(qiáng)大。

我的分享就到這里，謝謝大家。

（掌聲）

問(wèn)答環(huán)節(jié)

問(wèn)：您最后說(shuō) AI 的應(yīng)用非常場(chǎng)景化。五年、十年后還會(huì)是這樣嗎？

答：技術(shù)上可能仍然是場(chǎng)景化的，但我們會(huì)學(xué)會(huì)怎么正確使用它。

可以類比維基百科：剛出現(xiàn)時(shí)，學(xué)生直接抄到作業(yè)里，老師想禁止。后來(lái)大家明白：維基百科不是用來(lái)給最終答案的，而是起點(diǎn)、參考文獻(xiàn)，需要自己判斷。

現(xiàn)在沒人禁止維基百科，因?yàn)槲覀兌擞梅ā?/p>

AI 會(huì)走同樣的路。

五年后，學(xué)界會(huì)形成成熟文化，知道 AI 能做什么、不能做什么，不再需要糾結(jié)“好 AI”、“壞 AI”的問(wèn)題。

問(wèn)：那些很難的著名問(wèn)題，比如你證明的那個(gè)定理，AI 能解決嗎？

答：目前還不能。

有人把一千個(gè)問(wèn)題挨個(gè)喂給 AI，成功率大約 1%～2%，已經(jīng)很驚人。

但目前解決的，都是研究較少、解法較短、比較標(biāo)準(zhǔn)的問(wèn)題。

對(duì)于需要艱深獨(dú)創(chuàng)方法的難題，AI 還沒有給出過(guò)人類從未見過(guò)的全新思路。這是我們當(dāng)前的狀態(tài)。

問(wèn)：那提出猜想呢？

答：好問(wèn)題。

這個(gè)網(wǎng)站目前不接受外來(lái)新猜想。

但猜想是潛在的重要方向。

問(wèn)題有明確“解/未解”，有評(píng)分目標(biāo)，AI 很擅長(zhǎng)優(yōu)化。

但猜想有用/沒用，很難評(píng)分。隨機(jī)生成猜想很容易，生成有用的猜想很難。

短期來(lái)看，更可能的模式是：

人類提出猜想，AI 來(lái)評(píng)判、嘗試證偽、用例子檢驗(yàn)、給出反饋。

AI 自主提出高質(zhì)量猜想，暫時(shí)還做不到，但會(huì)是重要方向。

問(wèn)：你說(shuō) AI 幫助數(shù)學(xué)解決中等難度問(wèn)題，那它對(duì)數(shù)學(xué)和物理、生物等學(xué)科的交叉有幫助嗎？

答：目前跨學(xué)科合作依然很難，往往只有同校剛好有重疊方向的人才會(huì)合作。

如果能讓數(shù)學(xué)家更多參與應(yīng)用數(shù)學(xué)，會(huì)非常棒。

我們下個(gè)月就有活動(dòng)，把物理學(xué)家和數(shù)學(xué)家聚在一起做這件事。

AI 應(yīng)該會(huì)有幫助，比如解釋基礎(chǔ)概念：我和物理學(xué)家合作，我不懂量子場(chǎng)論，讓 AI“用數(shù)學(xué)家能懂的方式講給我聽”，這很有用。

不過(guò)有一點(diǎn)區(qū)別：

數(shù)學(xué)之所以能很好地用 AI，是因?yàn)槲覀冇袊?yán)格驗(yàn)證，能過(guò)濾錯(cuò)誤。

換到其他學(xué)科，驗(yàn)證沒有這么嚴(yán)密，但依然有空間。

更廣泛的參與，也包括讓數(shù)學(xué)家參與物理、化學(xué)、生物項(xiàng)目。

好的，再次感謝大家。

參考資料

https://www.youtube.com/watch?v=SuTxpKggY30

https://sair.foundation/event/ai-for-science-kickoff-2026/

2026AI科學(xué)盛典——圓桌討論《AI與高等教育變革》會(huì)議全文

2026AI科學(xué)盛典——圓桌討論《AI與數(shù)學(xué)》會(huì)議全文

2026AI科學(xué)盛典——諾貝爾獎(jiǎng)得主巴里·巴里什（Barry Barish）主題演講全文《LIGO：十年新科學(xué)》

https://www.erdosproblems.com/367

https://www.erdosproblems.com/26