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

近日，數學庫Mathlib項目——由Lean定理證明器（Lean theorem prover）開源社區驅動，榮獲第2屆法國德邁利獎（每兩年一次評選）。

作者：EPIGA（《代數幾何EPI期刊》Epijournal de Géométrie Algébrique）2026-5-26

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

求喜歡

2026年度德邁利（Demailly）獎評委會與組委會榮幸宣布：

Lean定理證明器開源社區的Mathlib項目

榮獲2026年度讓-皮埃爾?德邁利（Jean-Pierre Demailly）獎。

獲獎理由

評委會表示本屆參評項目整體種類豐富、水準出眾，并給出獲獎理由：Mathlib廣受學界認可，是面向數學共同體的杰出成果，對數學未來發展具備全局性、基礎性重大意義。它既是具備即時實用價值的資源，更是有望從長遠改變數學研究模式的基礎設施。

該項目在數學形式化與證明核驗領域占據核心地位。在當下科研環境中，形式化證明校驗、自動推理、人工智能輔助數學研究未來的重要性持續提升，因此該項目的價值尤為突出。

同時，Mathlib的開放理念與協作運行模式堪稱典范。項目大幅降低參與門檻，匯聚全球各地研究者共建，搭建起可大規模核驗、共享、留存與復用數學知識的體系。

綜上，Mathlib不只是同類項目中的佼佼者，更在重塑未來數學知識的創造、驗證與傳播范式。

頒獎儀式舉辦日期另行通知。

德邁利獎簡介

德邁利獎，全稱是讓-皮埃爾?德邁利（Jean-Pierre Demailly）數學開放科學獎。由法國數學會（SMF）、法國應用與工業數學會（SMAI）、法國統計學會（SFdS）聯合《代數幾何EPI期刊》EPIGA（Epijournal de Géométrie Algébrique）共同設立，首屆評獎于2024年舉辦。

該獎項為雙年獎，用于表彰在數學開放科學領域作出貢獻的項目，評選范圍涵蓋學術出版、數學家協作交流、數學開源軟件三大方向。獎項獎金為象征性獎勵，在任一主辦學會的國際學術會議中，于數學開放科學專題分會場舉行頒獎儀式。

設立本獎旨在進一步凸顯數學開放科學的重要價值，聚焦面向整個科研共同體的集體貢獻，而非表彰個人學術成就。獎項名稱取自法國代數幾何學家讓-皮埃爾?德邁利（Jean-Pierre Demailly），他畢生致力于推動數學領域開放科學建設，尤其深耕學術開放出版與數學教育事業。

法國代數幾何學家讓-皮埃爾?德邁利（Jean-Pierre Demailly）

配圖：2019年Holly Chen拍攝

歷屆德邁利獎一覽

2026

Mathlib數學庫項目

——Lean開源社區維護

https://leanprover-community.github.io/mathlib-overview.html

2024

zbMATH Open項目

——開放獲取的數學文獻檢索和評論數據庫

https://zbmath.org

評委會獲獎評語

2024年參評項目整體水準出眾，評委會依據獎項評審標準，最終選定 zbMATH Open，評選理由如下：該項目覆蓋面廣闊，囊括數學領域文獻、軟件與各類科研資源，惠及全球各地、各細分方向的數學研究者，不受地域與研究領域限制。項目創新價值突出、行業影響力深遠，平臺新近上線軟件檢索功能與機器可讀數據調用接口（API），有力推動數學界的協作與信息共享。

項目普惠性是獲獎關鍵：zbMATH Open 全平臺免費開放，即便技術條件薄弱的國家和科研群體也可無障礙使用；全球數學研究者組成志愿審稿團隊，持續支撐平臺運維落地。

針對長期存續問題，評委會留意到項目存在經費來源隱患，但項目已落實長效保障舉措：獲萊布尼茨學會穩定專項資助，同時不斷優化管理制度以提升可持續運營能力。

總而言之，zbMATH Open 憑借覆蓋范圍廣、運營機制持續優化、堅守普惠開放與長效發展的理念獲得評委會高度認可。它是全球數學界不可或缺的基礎資源，對開放資源獲取困難的欠發達地區科研人員意義重大。

德邁利獎項目遴選規則

通用規則

申報要求：僅受理正式提交的申報項目；申請人既可申報本人負責項目，也可舉薦自己認可的第三方項目；評審委員會也可主動邀約優質項目申報。

利益沖突：獎項組委會負責甄別與評審委員存在利益關聯的申報項目，此類項目直接剔除、不予評審。

參評范圍限定：參評項目需貼合高校科研教師全領域工作，包括教研、科研、學術出版等；面向大眾科普推廣類項目不在參評范疇（法國已有專項科普獎項）。

五大評審細則

1. 項目覆蓋范圍

項目能觸達數學界哪類群體？是面向全體數學研究者，還是特定研究方向、特定地域的數學社群？亦或是突破數學邊界，開放至其他學科、普通公眾？項目落地覆蓋數學行業哪些板塊（科研、教學、學術出版等）？

2. 創新性與實際影響力

相較于現有同類成果，本項目差異化創新程度如何？能為全球數學共同體帶來哪些實質性利好？項目是否能夠推動、引導科研人員轉變協作模式與科研成果共享方式？

3. 項目可及性（普惠程度）

項目是否兼顧技術資源薄弱的國家與科研群體的使用需求？從產品易用性、多渠道機構宣傳推廣、底層技術架構三個層面，項目落地了哪些舉措保障全球用戶無障礙使用？

4. 項目規模與經費模式

項目及其衍生分支是否為非營利性質？項目由多少志愿者、全職受薪人員運維？面向用戶收取的服務費是否與項目實際落地成本匹配？是否針對低收入國家與弱勢科研社群設立優惠資費標準？

5. 項目長期可持續性

項目是否制定長效存續規劃？現有落地措施、未來籌備方案如何保障項目長期穩定運營？

評審委員會名單（2026）

本屆獎項評審委員會由以下專家組成，梅里耶姆?沙迪德與蒂莫西?高爾斯聯合擔任評委會主席：

梅里耶姆?沙迪德（Merieme Chadid）：聯合國教科文組織國際科學理事會主席、評委會聯合主席

當今世界面臨日趨繁雜的各類挑戰，數學發揮著不可替代的關鍵作用。無論是氣候變化、公共衛生還是可持續發展議題，數學都能提供強有力的分析工具來理解和破解時代難題。本獎項著眼表彰造福全體科研共同體的成果，踐行兼顧生態友好與社會公平、助力全行業共同進步的發展理念。 ——聯合國教科文組織國際科學理事會主席、德邁利獎聯合主席 梅里耶姆?沙迪德

蒂莫西?高爾斯（Timothy Gowers，1998菲爾茲獎得主）：PolyMath 開源協作項目、《離散分析》Discrete Analysis期刊創始人，“知識的代價”The cost of knowledge 請愿發起人、評委會聯合主席

朱莉?德隆（Julie Delon）：《SIAM 成像科學期刊》《IPOL 在線圖像處理期刊》副主編

穆罕默德?穆斯塔法?法爾（Mouhamed Moustapha Fall）：塞內加爾非洲數學科學研究院（AIMS）院長

安德里亞?洛佩斯（Andrea Lopez）：Annual Reviews 出版社銷售總監、開放訂閱實踐社區核心成員

維奧萊娜?盧韋（Violaine Louvet）：法國國家科研中心（CNRS）研究員、格勒諾布爾大學出版 / 數據 / 代碼專項負責人

亞歷杭德羅?馬斯（Alejandro Maass）：法國國家科研中心國際數學建模合作中心主任、CNRS 國際事務專員

亞歷克斯?斯科潘（Alex Scorpan）：數學科學出版社（MSP，非營利，位于美國UCB數學系）負責人

克里斯托夫?索爾熱（Christoph Sorger）：《亨利?勒貝格年刊》主編、原法國國家數學科學研究院（INSMI）院長

丹?蒂莫廷（Dan Timotin）：羅馬尼亞科學院數學所副所長、羅馬尼亞兩本數學期刊主編

獎項組織委員會名單（2026）

本獎項由以下人員組成組委會統籌運營：

伯努瓦?克勞東（Beno?t Claudon）：法國數學會（SMF）出版部主任

伊莎貝爾?加拉格爾（Isabelle Gallagher）：法國數學會（SMF）理事長

詹盧卡?帕齊恩扎（Gianluca Pacienza）：代數幾何EPI期刊（EpiGA）理事長

讓?佩亞爾迪（Jean Peyhardi）：法國統計學會（SFdS）理事會當選委員

阿芒迪娜?韋貝爾（Amandine Véber）：法國應用與工業數學會（SMAI）理事會理事

參考資料

https://epiga.episciences.org/page/session-2026

https://epiga.episciences.org/page/session-2024

https://leanprover-community.github.io/mathlib-overview.html

https://zbmath.org

https://smf.emath.fr/actualites-smf/annonce-laureat-prix-demailly-2026?language=en

小樂數學科普近期文章

小樂數學科普歷年合集

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

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

讓數學

更加

易學易練

易教易研

易賞易玩

易見易得

易傳易及

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

收藏、分享、轉載、投稿

查看原始文章出處

點擊底部一起捐

助力騰訊公益

點擊zzllrr小樂

公眾號主頁

右上角

置頂★加星

數學科普不迷路！