★置頂zzllrr小樂公眾號，追蹤《小樂數學科普》系列報道！

本宣言由學界自發起草，國際數學聯盟（IMU）正式背書，旨在應對人工智能應用給數學研究帶來的各類挑戰。

前言

一、堅守數學核心價值

二、人工智能帶來潛在風險

三、面向個體數學家的行動建議

四、面向數學學術組織與非營利科研資助方的建議

五、面向各國政策制定者的建議

六、面向人工智能商業企業的倡議

起草工作組名單

宣言背景

致謝

后續動態

機構官方背書｜國際數學聯盟（IMU）

知名學者背書點評

全球簽署者鏈接

作者：萊頓宣言官網（leidendeclaration.ai）2026-6-2

譯者：zzllrr小樂（數學科普公眾號）2026-6-2

求喜歡

前言

技術革新一次次重塑數學的研究范式。當下，依托符號演算、神經網絡的各類人工智能工具，可用于數學命題生成與形式化證明，正開啟數學發展全新階段。面對 AI 浪潮，科研人員態度分化：有人滿懷期待，看好 AI 助力前沿發現；有人畏懼技術迭代速度；有人漠不關心；也有人擔憂其對數學學科與人類社會造成深遠負面影響。

數學家可自主選擇是否、如何在科研中使用人工智能，同時肩負維系學科長久繁榮的責任。本宣言立足數學研究視角，面向個體研究者、學術機構、政府與產業方提出行動倡議，相關準則同樣適用于數理科學、數學教育、導師培養、學術出版、科研資助、科研政策以及各行各業的數學落地應用。

本宣言與學術界、文創領域其他應對同類挑戰的行業倡議立場相通，可與《烏普薩拉科學家倫理準則》《舊金山科研評估宣言》《聯合國教科文組織開放科學建議書》《英國通用科研倫理規范》互為補充。美國工業與應用數學學會（SIAM）、美國數學會（AMS）、國際數學聯盟出版委員會也已出臺配套相關文件。

一、堅守數學核心價值

本宣言的全部建議建立在數學研究固有核心準則之上，也是全球數學界共同守護的價值：

1. 開展數學研究的動因多元，既有求知欲驅動，也為破解現實社會難題；證明是數學的根基，數學證明既能給出嚴謹可靠的結論，也能闡釋結論成立的內在邏輯，是數學科研誠信的基石。

2. 科研成果歸屬明確的創作者，作者享有成果署名權，同時對結論正誤全權負責；這套準則是數學領域以學術水平論優劣的評審根基。

3. 數學論證講求公開透明、可獨立核驗，即便推導冗長晦澀，原則上不能依靠專有技術、涉密設備才能看懂。

4. 學界依托深度、難度、學術價值的統一標準，客觀評判各項數學成果。

5. 數學不止產出定理結論，更在一代代研究者自主探索中沉淀認知、邏輯判斷力與專業洞見；這類專業積淀是數學落地應用、提出全新重大科研問題的關鍵，自主把控研究方向與研究方法是數學長久發展的核心優勢。

上述特質既是數學的學科屬性，也定義了數學作為人類學術活動的本質。身為數學從業者，同時作為社會一員，我們有責任守護人類與自然環境。

二、人工智能帶來潛在風險

人工智能的快速發展正對上述各項核心價值形成沖擊，青年學者、在讀學生受影響最為突出，進而威脅數學學科長遠發展。

1. 結論可靠性隱患

   現有自動化工具能夠生成看似嚴謹、實則謬誤的推導內容，該問題不只限于自然文本，在形式化數學中同樣嚴峻：機器編碼和人類數學語言的轉換極易出現漏洞，原始定義編寫不當就會導致機器驗證結果失真。AI 撰文加重審稿壓力，傳統以嚴謹、透明、可復現作為標尺的評審體系遭遇沖擊。

2. 文獻溯源與署名體系受損

   大量 AI 模型依托海量已發表數學文獻訓練，但多數訓練未遵循原論文版權與引用協議，生成內容整合前人成果卻無法精準標注出處，動搖傳統署名引證規則。

3. 科研激勵機制失衡

   AI 的普及使得 “適配機器的課題” 更容易獲得資源、項目與發文獎勵，倒逼研究者扎堆此類方向；無法負擔高端算力、不愿使用商業閉源 AI 的科研人員被邊緣化，招聘、立項、評獎規則隨之畸形。

4. 成果評價亂象

   不少研究跳過同行評審，借助新聞通稿、自媒體博文等非正式渠道提前造勢宣傳，刻意夸大成果價值、埋沒前期奠基工作；市場導向的宣傳過度神化 AI 能力，用單一數學任務表現片面定義通用大模型水平，誤導公眾認知。

5. 學科自主性被侵蝕

   科技企業深度入局數學科研，研究選題不再優先依托學界專業研判，轉而優先挑選便于 AI 自動求解的方向，長期會造成重要冷門分支被忽視、學科發展被資本裹挾；高校經費承壓之下，研究者被迫在不對等的合作條件下和企業合作，進一步壓縮數學自主探索空間。

6. 倫理衍生風險

   大規模 AI 投入還關聯軍備研發、大規模監控、輿論操控、生態損耗等重大社會隱患，放任無序發展，數學從業者或將被動淪為有害技術的助推者。

基于以上風險，數學界亟需出臺系統性應對方案。本宣言配套落地建議，歡迎各學術組織結合自身定位與治理細則采納、增補相關條款。

三、面向個體數學家的行動建議1. 如實標注所用工具 在論文單獨增設「工具與算力資源說明」板塊，如實寫明大模型、機器證明輔助軟件、各類數值程序等自動化工具的使用情況；目前多數期刊已有相關規范，撰寫參照聯合國教科文組織開放科學建議書與 FAIR 數據準則精神即可。擔任審稿人時依規披露自身 AI 使用情況，對審稿意見全權負責。
2. 主動配合審稿工作 AI 寫作易增加審稿負擔，研究者需完整規范引注前人文獻，條件允許時附上形式化證明，降低同行核驗成本。
3. 恪守開放科學準則

伴隨數學研究愈發依賴數據與程序，從業者應踐行開放科學相關規范。

4. 成果正誤權責歸人類作者

無論研究過程使用多少自動化工具，論文推導、結論、參考文獻的完整性與準確性，全部由人類作者獨自承擔責任。

5. 明確人類署名主體性

AI 不具備成果署名資格，科研榮譽與責任始終歸于研究者；人工智能只能輔助創作，無法替代人類日積月累的學術工作。

6. 完善文獻溯源

受限于 AI 天生的引文缺陷，作者必須主動溯源、標注成果依托的前人工作；無法精準標注出處時，需在文章中明確說明。

7. 參與公共科普與行業討論

向公眾客觀科普 AI 輔助數學研究的真實邊界，協助大眾分辨成果含金量；同時聯動其他行業創作者，共同應對同類 AI 帶來的版權與倫理難題。

8. 持續跟進前沿技術動態

結合自身研究方向了解各類數學輔助工具的能力邊界，助力學科制定適配新技術的發展規則。

9. 包容跨領域新研究者

AI 與數學交叉吸引各行各業人才入局，學界應當敞開大門、明確行業標準，幫助新人融入；跨領域研究者也需尊重數學固有學術準則，協同完善學科發展。

10. 審慎選用科研工具

區分契合宣言準則與違背準則的 AI 產品，優先選用開源、低能耗輕量化工具；若選用商用閉源產品，需權衡利弊，必要時寧可延后論文進度，優先保全學術底線。

11. 研判研究倫理，審慎開展合作

評估自身研究落地后的各類倫理風險，若成果可被用于監控、軍備等有害領域，及時終止相關工作；僅在合作方認同本宣言準則的前提下，開展產學研項目。

四、面向數學學術組織與非營利科研資助方的建議

1. 統籌布局，積累技術認知

   持續跟進 AI 技術迭代，面向會員與全社會輸出專業指導，聯動出版方、資助機構、政府完善行業政策；遇非常規手段產出重磅成果時及時介入研判。

2. 牽頭制定出版與審稿規范

   圍繞 AI 標注規則、署名制度、引用規范出臺行業指引，補充完善各大期刊現有編輯守則。

3. 堅守學術嚴謹底線

   針對 AI 生成成果設立特殊審核要求，比如附上人類文字說明關鍵證明、按需補充形式核驗、交叉驗算理論與數值結果、投稿前外審等。

4. 維護作者版權

   制定標準授權協議，嚴禁未經作者許可將論文用作 AI 訓練素材，保障作者擁有拒絕模型訓練的權利。

5. 堅守同行評審發表機制

   論文必須在同行評議的期刊、會議集正式刊發，新聞、博客僅作科普宣傳，不能替代正規評審。

6. 扶持公共科研平臺

   籌建獨立于企業的公立自動化數學實驗室，推廣低成本、個體可用的開源科研工具。

7. 搭建公平合作框架

   為和企業合作的研究者提供法務、知識產權相關援助，平衡校企合作中的不對等地位。

8. 立項評審錨定宣言準則

   產學研聯合項目的經費評審，需將是否契合本宣言價值納入考核。

1. 完善立法，強化作者著作權保護

   落實宣言相關權益要求。

2. 理性看待 AI 商業宣傳

   避免被企業營銷話術裹挾，出臺政策前征詢數學領域專家意見。

3. 推進 AI 行業監管

   針對 AI 用于軍備、全民監控、虛假信息傳播、破壞生態等亂象加強公共監管。

4. 加大公共算力基建投入

   扶持開源協作平臺、公共超算集群等非商用算力資源建設。

如今產業 AI 深度依托數學成果：一方面企業借數學性能宣傳產品；另一方面海量期刊論文被無償抓取用作大模型訓練。形式化數學可自動校驗的特性，讓數學成為低成本的訓練數據源，不少通用大模型依托海量數學題訓練后，被投入監控、軍工等違背倫理的場景。

高校經費緊張、教職崗位不穩定的大環境下，高薪、頂尖算力資源吸引大批數學家投身企業研發，但很多人事先難以預判成果的衍生倫理風險。

本宣言呼吁：企業與數學家開展合作時，至少遵從本文全部準則，保障科研人員擁有公開發表對公司政策看法的言論自由。

起草工作組名單

賈羅德?阿爾珀（華盛頓大學）、邁克爾?巴拉尼（愛丁堡大學）、阿蘭?沙瓦里?比利亞雷洛（阿姆斯特丹自由大學）、桑德?達門（阿姆斯特丹自由大學）、沃爾特?迪恩（華威大學）、卡爾蒂克?加納帕西（加州大學圣迭戈分校）、邁克爾?哈里斯（哥倫比亞大學）、戴維?霍姆斯（萊頓大學）、瑪泰婭?亞姆尼克（劍橋大學）、史蒂文?凱爾克（馬斯特里赫特大學）、布萊娜?克拉（西北大學）、烏爾蘇拉?馬丁（牛津大學）、巴托什?納斯倫茨（亞當?密茨凱維奇大學 / 華沙理工）、羅德里戈?奧奇加梅（萊頓大學）、吉姆?波特赫吉斯（埃因霍溫理工，工作組牽頭人）、約翰內斯?施密特（蘇黎世聯邦理工）

宣言背景

2025 年 9 月荷蘭萊頓大學洛倫茨中心舉辦《機械化與數學研究》會議，來自 10 國近 60 位數學家、計算機學者、哲學家、科技史與社科研究者參會。會后八個月，工作組結合全球學界海量反饋定稿，文稿內容對標 2026 年 5 月的 AI 技術與科研現狀，相關問詢可聯系牽頭人吉姆?波特赫吉斯。

致謝

感謝全球無數數學研究者為本宣言初稿提供寶貴修改意見。

后續動態

本宣言將持續發布媒體報道、專題講座、新增機構背書等相關資訊。

機構官方背書｜國際數學聯盟（IMU）

國際數學聯盟高度重視人工智能給數學帶來的機遇與隱患，簽署本宣言意味著：未來數學研究必須立足人類研判、公正透明的行業準則與全球數學家共同的價值。數學永遠是人類主導的學術事業。

—— 烏爾麗克?蒂爾曼（Ulrike Tillmann，國際數學聯盟副主席）

知名學者背書點評

1. 彼得?舒爾茨｜馬克斯?普朗克數學研究所所長

   這份宣言恰逢其時、立意出眾。數學研究的本質是實現人類對數學的理解，學科離不開研究者社群的交流滋養。數學思想如同孩童，需要長年積淀培育；我撰寫研究內容全程盡量不用 AI，也刻意少讀 AI 生成文稿。

3. 羅伯特?戴克赫拉夫｜阿姆斯特丹大學特聘教授、國際科學理事會候任主席、荷蘭前科教大臣

   AI 正從形式化證明、機器推演層面深度重塑科研，數學身處變革核心。全球數學家亟需統一準則，守護數學的內核：構筑人類認知、培育思辨與洞見，本宣言意義重大。

5. 伊爾卡?阿格里科拉｜國際數學聯盟出版委員會主席

   AI 飛速改變數學科研模式，合理使用可充當得力科研助手，但當下亂象叢生：低成本 AI 批量灌水偽論文，只求刊發與被引、不求內容嚴謹，同行評審體系岌岌可危。IMU 出版委員會全力支持萊頓宣言。

7. 杰里米?阿維加德｜卡內基梅隆大學教授

   AI 逐步介入科研決策，數學論證與人工核驗不可缺位，本宣言為研究者界定 AI 使用邊界提供清晰框架。

9. 凱文?巴扎德｜帝國理工純數學教授

   科技企業驟然深耕數學領域，AI 持續打亂原有科研生態，本宣言考量周全，給出可行應對方案。

11. 萊斯利?安?戈德堡｜牛津計算機系主任

    AI 極易產出看似正確、實則錯誤的數學內容，批量劣質文稿會污染學術庫、造成后續研究連環出錯。宣言提出的工具標注、堅守同行評審制度至關重要。

13. 史蒂文?斯特羅加茨｜康奈爾大學杰出講席

    AI 可成為數學發現的得力伙伴，但其伴隨新責任。宣言呼吁守護證明、署名、求真等數學立身之本。

全球簽署者鏈接

https://leidendeclaration.ai/signatories

參考資料

https://leidendeclaration.ai

https://leidendeclaration.ai/signatories

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

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

小樂數學科普近期文章

小樂數學科普歷年合集

版權聲明：本文首發于微信公眾號“zzllrr小樂”的專欄《小樂數學科普》。歡迎個人轉發。如需轉載，請在“zzllrr小樂”公眾號后臺回復“轉載”，還可通過公眾號菜單、發送郵件到zzllrr@gmail.com與我們取得聯系。相關圖文音視頻內容默認遵守CC BY-NC 4.0知識共享協議，未獲作者和譯者授權，禁止用于營銷宣傳和商業目的。

·開放 · 友好 · 多元 · 普適 · 守拙·

讓數學

更加

易學易練

易教易研

易賞易玩

易見易得

易傳易及

歡迎評論、點贊、在看、在聽

收藏、分享、轉載、投稿

查看原始文章出處

點擊底部一起捐

助力騰訊公益

點擊zzllrr小樂

公眾號主頁

右上角

置頂★加星

數學科普不迷路！