★置頂zzllrr小樂(lè)公眾號(hào)，追蹤《小樂(lè)數(shù)學(xué)科普》系列報(bào)道！

人工智能（AI）正持續(xù)滲透日常數(shù)學(xué)研究，大語(yǔ)言模型、符號(hào)演算與形式化證明系統(tǒng)不斷落地，工業(yè)界也愈發(fā)將數(shù)學(xué)視作自動(dòng)推理技術(shù)的試驗(yàn)載體。諸多技術(shù)突破固然振奮人心，但隨之誕生的一系列問(wèn)題，值得全球數(shù)學(xué)界審慎研討?！度斯ぶ悄芘c數(shù)學(xué)萊頓宣言》于2026年6月2日發(fā)布，回應(yīng)了當(dāng)前提出的許多關(guān)鍵問(wèn)題。

克里斯托夫?索爾格

Christoph Sorger，國(guó)際數(shù)學(xué)聯(lián)盟IMU秘書(shū)長(zhǎng)

作者：Christoph Sorger（克里斯托夫?索爾格，國(guó)際數(shù)學(xué)聯(lián)盟IMU秘書(shū)長(zhǎng)）2026-6-2

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

求喜歡

AI人工智能正持續(xù)滲透日常數(shù)學(xué)研究，大語(yǔ)言模型、符號(hào)演算與形式化證明系統(tǒng)不斷落地，工業(yè)界也愈發(fā)將數(shù)學(xué)視作自動(dòng)推理技術(shù)的試驗(yàn)載體。諸多技術(shù)突破固然振奮人心，但隨之誕生的一系列問(wèn)題，值得全球數(shù)學(xué)界審慎研討。2026年6月2日正式發(fā)布的《人工智能與數(shù)學(xué)萊頓宣言》，圍繞當(dāng)下各類(lèi)核心爭(zhēng)議給出系統(tǒng)性梳理。

這份宣言緣起 2025 年 9 月于荷蘭萊頓大學(xué)洛倫茨研究中心舉辦的「機(jī)械化與數(shù)學(xué)研究」學(xué)術(shù)會(huì)議，來(lái)自 10 個(gè)國(guó)家的約 60 位學(xué)者參會(huì)，涵蓋數(shù)學(xué)家、計(jì)算機(jī)科學(xué)家、哲學(xué)家與社科研究者。會(huì)議結(jié)束后的半年內(nèi)，專(zhuān)項(xiàng)工作組吸納全球數(shù)學(xué)界海量反饋，打磨成文，文稿內(nèi)容貼合截至 2026 年 5 月的 AI 技術(shù)現(xiàn)狀與數(shù)學(xué)科研實(shí)際。

由伊爾卡?阿格里科拉（Ilka Agricola）出任主席的國(guó)際數(shù)學(xué)聯(lián)盟出版委員會(huì)（CoP），全程跟進(jìn)宣言編撰工作。隨著文稿正式刊發(fā)，國(guó)際數(shù)學(xué)聯(lián)盟（IMU）宣布正式認(rèn)可、采納本宣言。

我并不奢望所有數(shù)學(xué)從業(yè)者對(duì)宣言每一條表述完全達(dá)成共識(shí)。事實(shí)上目前收到的各類(lèi)不同觀點(diǎn)，恰恰印證了這份文獻(xiàn)的價(jià)值：它促使學(xué)界靜下心思索，哪些學(xué)術(shù)準(zhǔn)則需要堅(jiān)守、哪些規(guī)范可以靈活調(diào)整、哪些領(lǐng)域亟待厘清界定。

宣言列明了多數(shù)數(shù)學(xué)家共識(shí)的核心學(xué)術(shù)底線：證明是數(shù)學(xué)的基石，理解與表述的清晰性至關(guān)重要；科研成果必須明確歸屬創(chuàng)作者；結(jié)論應(yīng)當(dāng)能夠獨(dú)立復(fù)現(xiàn)驗(yàn)證；整個(gè)學(xué)界負(fù)有以深度、難度、學(xué)術(shù)價(jià)值為標(biāo)尺評(píng)判科研的共同責(zé)任。

宣言同時(shí)指出，隨著人工智能深度融入數(shù)學(xué)科研，各類(lèi)現(xiàn)實(shí)矛盾會(huì)逐步凸顯。首要隱患是結(jié)論的可靠性：當(dāng)下自動(dòng)化工具能夠生成看似嚴(yán)謹(jǐn)、實(shí)則錯(cuò)誤的推導(dǎo)內(nèi)容，該問(wèn)題不只局限于普通文本撰寫(xiě)，在形式化數(shù)學(xué)的推演與解讀中同樣頻發(fā)；倘若原始定義本身設(shè)定粗糙，機(jī)器校驗(yàn)結(jié)果和真實(shí)數(shù)學(xué)結(jié)論之間極易出現(xiàn)斷層。第二大問(wèn)題是成果署名與文獻(xiàn)溯源：數(shù)學(xué)研究歷來(lái)依托前人成果、規(guī)范引注，但現(xiàn)有 AI 大多在海量已刊論文上訓(xùn)練，卻不遵循學(xué)術(shù)引證規(guī)范，生成內(nèi)容整合已有研究卻常常缺失文獻(xiàn)出處。宣言著重強(qiáng)調(diào)：相關(guān)責(zé)任不能因 AI 生成而轉(zhuǎn)嫁，人類(lèi)作者仍需全權(quán)負(fù)責(zé)，反而更要細(xì)致標(biāo)注引文、如實(shí)致謝前人學(xué)術(shù)貢獻(xiàn)。

宣言還關(guān)注同行評(píng)審與科研評(píng)價(jià)承壓?jiǎn)栴}：AI 大幅降低長(zhǎng)篇優(yōu)質(zhì)論文的撰寫(xiě)門(mén)檻，會(huì)顯著加重審稿負(fù)擔(dān)。與此同時(shí)，部分研究借助新聞稿、科普博客等非正式渠道提前造勢(shì)，跳過(guò)正規(guī)評(píng)審流程，極易夸大成果價(jià)值、埋沒(méi)前人相關(guān)工作。

宣言中有兩點(diǎn)尤為關(guān)鍵：一是算力與高端 AI 工具獲取不均，會(huì)在國(guó)家、高校乃至課題組內(nèi)部催生新的資源鴻溝；二是部分?jǐn)?shù)學(xué)分支只因適配 AI 算法就變得熱門(mén)，而非依托學(xué)術(shù)價(jià)值被學(xué)界認(rèn)可，長(zhǎng)此以往數(shù)學(xué)會(huì)喪失自主發(fā)展的選擇權(quán)。

正因如此，宣言提出搭建產(chǎn)學(xué)研合作規(guī)范框架的建議意義重大。產(chǎn)學(xué)研合作固然益處良多，但不存在能全方位滿足學(xué)術(shù)開(kāi)放標(biāo)準(zhǔn)的合作模式。投身校企合作的數(shù)學(xué)家需要配套幫扶與專(zhuān)業(yè)指引，清晰預(yù)判合作中的利弊取舍。

落地層面，宣言要求科研人員主動(dòng)標(biāo)注 AI 工具使用情況、配合審稿核查、在合適場(chǎng)景踐行開(kāi)放科學(xué)，對(duì)論文正誤和文獻(xiàn)標(biāo)注負(fù)全責(zé)；抵制刻意隱去人力貢獻(xiàn)、將成果包裝成 AI 或企業(yè)自主產(chǎn)出的不良風(fēng)氣。無(wú)論技術(shù)如何發(fā)展，厘清人與機(jī)器各自貢獻(xiàn)是基本準(zhǔn)則。宣言同時(shí)呼吁數(shù)學(xué)家主動(dòng)參與公共議題討論，跟進(jìn)前沿技術(shù)，審慎權(quán)衡所用工具與合作模式背后的倫理風(fēng)險(xiǎn)。

面向?qū)W術(shù)組織、科研資助方與政策制定者的相關(guān)建議同樣關(guān)鍵：完善出版審稿制度、堅(jiān)守嚴(yán)謹(jǐn)性標(biāo)準(zhǔn)、保障作者權(quán)益、扶持公共科研平臺(tái)建設(shè)、抵制夸大 AI 性能的不實(shí)宣傳。以上舉措將助力數(shù)學(xué)界守護(hù)學(xué)術(shù)公信力，筑牢可靠科研的發(fā)展土壤。

國(guó)際數(shù)學(xué)聯(lián)盟背書(shū)本宣言，是因?yàn)樵?AI 相關(guān)研討剛剛起步的當(dāng)下，這份文稿觀點(diǎn)中肯、時(shí)機(jī)恰當(dāng)、立論均衡。宣言呼吁全球數(shù)學(xué)界立足數(shù)學(xué)本源價(jià)值，以開(kāi)放心態(tài)開(kāi)展相關(guān)探討。

聯(lián)盟的認(rèn)可并非討論的終點(diǎn)，反倒會(huì)推動(dòng)全球各數(shù)學(xué)分支、各國(guó)學(xué)者展開(kāi)深度交流。相關(guān)研討將延續(xù)至 2026 年費(fèi)城國(guó)際數(shù)學(xué)家大會(huì)。7 月 26 日國(guó)際數(shù)學(xué)聯(lián)盟專(zhuān)題論壇《數(shù)學(xué)研究與出版面臨的挑戰(zhàn)》Challenges for Mathematical Research and Publishing 上，宣言工作組牽頭人吉姆?波特赫吉斯（Jim Portegies）將做《人工智能與數(shù)學(xué)萊頓宣言》The Leiden Declaration on Artificial Intelligence and Mathematics專(zhuān)題報(bào)告。

我期待眾多同仁到場(chǎng)參會(huì)，議題緊扣時(shí)代熱點(diǎn)，論壇也為開(kāi)放式交流搭建了絕佳平臺(tái)。這場(chǎng)論壇中，琳?赫勒（Lynn Heller）還將帶來(lái)《數(shù)理領(lǐng)域?qū)W術(shù)出版亂象與學(xué)術(shù)造假》Fraudulent Publishing in Mathematical Sciences 報(bào)告。

參考資料

https://www.mathunion.org/imu-news/archive/2026/imu-news-137-may-2026

https://leidendeclaration.ai

https://www.universiteitleiden.nl/en/news/2026/06/leiden-declaration-warns-ai-is-challenging-the-core-values-of-mathematics

小樂(lè)數(shù)學(xué)科普近期文章

小樂(lè)數(shù)學(xué)科普歷年合集

版權(quán)聲明：本文首發(fā)于微信公眾號(hào)“zzllrr小樂(lè)”的專(zhuān)欄《小樂(lè)數(shù)學(xué)科普》。歡迎個(gè)人轉(zhuǎn)發(fā)。如需轉(zhuǎn)載，請(qǐng)?jiān)凇皕zllrr小樂(lè)”公眾號(hào)后臺(tái)回復(fù)“轉(zhuǎn)載”，還可通過(guò)公眾號(hào)菜單、發(fā)送郵件到zzllrr@gmail.com與我們?nèi)〉寐?lián)系。相關(guān)圖文音視頻內(nèi)容默認(rèn)遵守CC BY-NC 4.0知識(shí)共享協(xié)議，未獲作者和譯者授權(quán)，禁止用于營(yíng)銷(xiāo)宣傳和商業(yè)目的。

·開(kāi)放 · 友好 · 多元 · 普適 · 守拙·

讓數(shù)學(xué)

更加

易學(xué)易練

易教易研

易賞易玩

易見(jiàn)易得

易傳易及

歡迎評(píng)論、點(diǎn)贊、在看、在聽(tīng)

收藏、分享、轉(zhuǎn)載、投稿

查看原始文章出處

點(diǎn)擊底部一起捐

助力騰訊公益

點(diǎn)擊zzllrr小樂(lè)

公眾號(hào)主頁(yè)

右上角

置頂★加星

數(shù)學(xué)科普不迷路！