有AI數(shù)學(xué)項目速來領(lǐng)錢——AI for Math Fund追加投資1350萬美元——2026.3.30前申請截止

★置頂zzllrr小樂公眾號（主頁右上角）數(shù)學(xué)科普不迷路！

文藝復(fù)興慈善機構(gòu)與 XTX Markets 追加 1350 萬美元資金，助力AI數(shù)學(xué)領(lǐng)域突破性研究（參閱 ），在最初承諾的 1800 萬美元人工智能助力數(shù)學(xué)領(lǐng)域研究資金基礎(chǔ)上追加投入，讓人工智能數(shù)學(xué)基金（AI for Math Fund）的總規(guī)模達到 3150 萬美元。

人工智能數(shù)學(xué)基金目前已開放第二輪申請，截止時間為2026年3月30日太平洋時間晚23點59分，個人或團隊均可提交申請。

圖源：renaissancephilanthropy.org

作者：文藝復(fù)興慈善機構(gòu)（Renaissance Philanthropy）

& XTX Markets 2026-3-4

譯者：zzllrr小樂（數(shù)學(xué)科普公眾號）2026-3-10

文藝復(fù)興慈善機構(gòu)與 XTX Markets于2025年3月5日宣布推進人工智能數(shù)學(xué)基金的下一階段計劃，追加承諾 1350 萬美元資金。其中 1050 萬美元將用于 2025 年 3 月開啟的新一輪資助申請，300 萬美元將用于小額資助以及其他領(lǐng)域建設(shè)相關(guān)項目。該筆資金在基金最初 1800 萬美元的承諾基礎(chǔ)上追加，使其總規(guī)模達到 3150 萬美元，成為全球范圍內(nèi)助力人工智能和機器學(xué)習(xí)工具研發(fā)、推動數(shù)學(xué)領(lǐng)域發(fā)展的規(guī)模最大的慈善捐助之一。

“我們很高興能增加對人工智能數(shù)學(xué)基金的投入。該基金已然推動了諸多前沿研究和應(yīng)用的開展，我們也十分期待看到基金規(guī)模進一步擴大，為蓬勃發(fā)展的人工智能數(shù)學(xué)領(lǐng)域提供更多支持。”

—— 西蒙?科伊爾（Simon Coyle），XTX Markets 慈善事業(yè)負責(zé)人

該基金于 2025 年開啟的首輪資助，為全球頂尖高校和研究機構(gòu)的 29 個中標項目提供了資金支持。參閱：

這些項目均具有開創(chuàng)性意義，包括對科研級數(shù)學(xué)出版物進行形式化處理、探索支撐數(shù)學(xué)證明及證明表示的計算屬性（如復(fù)雜度理論、拓撲屬性），以及搭建人工智能數(shù)學(xué)領(lǐng)域各類工具間互聯(lián)互通的核心基礎(chǔ)設(shè)施（如 Lean 定理證明器與 Macaulay2 代數(shù)幾何計算工具、Lean 定理證明器與 LMFDB 數(shù)學(xué)數(shù)據(jù)庫的融合對接）。2025 年中標項目完整名單可查閱此鏈接（ https://www.renaissancephilanthropy.org/insights/renaissance-philanthropy-and-xtx-markets-additional-13-million ） 。

資助詳情

本次 1350 萬美元的新增資助將延續(xù)基金的核心方向，為一眾處于AI人工智能與數(shù)學(xué)發(fā)現(xiàn)前沿的項目提供支持，涵蓋自動化技術(shù)研發(fā)、數(shù)據(jù)集構(gòu)建、基礎(chǔ)設(shè)施搭建、領(lǐng)域生態(tài)建設(shè)以及高風(fēng)險高回報的創(chuàng)新研究方向。單項資助金額在 10 萬至 100 萬美元之間，資助周期為 12 至 24 個月。我們歡迎各類不同預(yù)算規(guī)模、不同成熟階段、不同類型的項目提案，包括探索性研究、概念驗證類研究、功能開發(fā)及工具升級等項目。

申請詳情

人工智能數(shù)學(xué)基金（AI for Math Fund）目前已開放申請，截止時間為 2026 年 3 月 30 日太平洋時間晚 23 點 59 分，可通過此鏈接提交申請（ https://www.renaissancephilanthropy.org/insights/renaissance-philanthropy-and-xtx-markets-additional-13-million ）。

申請指南、評審時間安排及申請資格標準的完整詳情可查閱此鏈接（ https://www.renaissancephilanthropy.org/insights/renaissance-philanthropy-and-xtx-markets-additional-13-million ）。個人或團隊均可提交申請。

“人工智能數(shù)學(xué)基金首輪資助的眾多中標者，為人工智能重塑數(shù)學(xué)研究的模式樹立了標桿。我們與 XTX Markets 在人工智能數(shù)學(xué)領(lǐng)域的合作，也依托 Lean 定理證明器和 Mathlib 數(shù)學(xué)庫的成功實踐，激勵了計算機科學(xué)、物理學(xué)、量子科學(xué)等其他領(lǐng)域加大在形式化研究方面的投入。”

—— 湯姆?卡利爾（Tom Kalil），文藝復(fù)興慈善機構(gòu)首席執(zhí)行官

人工智能數(shù)學(xué)基金與數(shù)學(xué)庫計劃、Lean 聚焦研究組織全新的文學(xué)式編程界面（一種將程序代碼與自然語言注釋、文檔無縫融合的編程范式，讓代碼更易讀、易理解、易維護）等相關(guān)項目的發(fā)展方向高度契合。2025 年，XTX Markets 創(chuàng)始人亞歷克斯?格爾科為這些相關(guān)項目捐贈了 1000 萬美元。掛靠于文藝復(fù)興慈善機構(gòu)的數(shù)學(xué)庫計劃，致力于推動全球最大的計算機驗證數(shù)學(xué)庫實現(xiàn)專業(yè)化發(fā)展和規(guī)模化擴張，通過聘請專業(yè)評審人員、搭建優(yōu)化評審流程的基礎(chǔ)設(shè)施，解決 Lean 社區(qū)依靠志愿者模式發(fā)展所面臨的規(guī)模擴張瓶頸。與此同時，Lean 全新的人工智能驅(qū)動界面，旨在將 Lean 定理證明器嚴謹?shù)姆栠壿嬇c自然語言的靈活通用性相結(jié)合，降低數(shù)學(xué)家使用該工具的門檻，加快數(shù)學(xué)研究的形式化進程和人工智能助力數(shù)學(xué)研究的發(fā)展步伐。

關(guān)于人工智能數(shù)學(xué)基金

人工智能數(shù)學(xué)基金（AI for Math Fund）旨在為那些對數(shù)學(xué)領(lǐng)域發(fā)展至關(guān)重要、但單一學(xué)術(shù)機構(gòu)或企業(yè)實驗室無力開展的項目提供支持，以此加快數(shù)學(xué)發(fā)現(xiàn)的步伐，提升數(shù)學(xué)研究的影響力。該基金重點支持兩類項目：

1. 在常規(guī)發(fā)展模式下難以落地實施的項目

2. 具備推動整個數(shù)學(xué)領(lǐng)域向前發(fā)展?jié)摿Φ捻椖?/p>

具體資助方向包括：開發(fā)開源的工業(yè)化級工具；擴充訓(xùn)練人工智能模型所需數(shù)據(jù)集的規(guī)模、豐富其多樣性并提升其質(zhì)量；優(yōu)化工具的易用性，推動其在數(shù)學(xué)界的普及應(yīng)用。

關(guān)于XTX Markets

XTX Markets是全球領(lǐng)先的算法交易公司，依托前沿的機器學(xué)習(xí)技術(shù)，為股票、固定收益產(chǎn)品、外匯、大宗商品、加密貨幣等超 5 萬種金融工具提供價格預(yù)測服務(wù)。公司基于這些預(yù)測結(jié)果在各大交易所及另類交易場所開展交易，并為全球客戶提供差異化的流動性服務(wù)。XTX Markets 在全球 35 個國家的日交易量超 2500 億美元，在倫敦、新加坡、紐約、巴黎、布里斯托爾、孟買和埃里溫設(shè)有辦公點，員工總數(shù)超 250 人。

XTX Markets擁有交易行業(yè)內(nèi)無可匹敵的計算資源，其不斷擴容的研究計算集群目前配備了超 2.5 萬個圖形處理器，可用存儲容量達 650PB。公司各團隊均匯聚了世界頂尖的研究人員，他們均擁有純數(shù)學(xué)、編程、物理學(xué)、計算機科學(xué)和機器學(xué)習(xí)等專業(yè)背景。此外，公司正于芬蘭建設(shè)一座大型數(shù)據(jù)中心，進一步夯實自身的核心計算能力，為未來發(fā)展奠定基礎(chǔ)。

自2020年以來，XTX Markets 已向各類慈善機構(gòu)和非營利合作方捐贈超 3.5 億英鎊，成為英國乃至全球范圍內(nèi)極具影響力的慈善捐助方。公司的慈善捐助重點聚焦于推動數(shù)學(xué)教育和研究發(fā)展，已向英國多家慈善機構(gòu)和教育機構(gòu)提供超 9000 萬英鎊的資助，助力更多學(xué)生，尤其是低收入背景的學(xué)生，在數(shù)學(xué)領(lǐng)域完成本科、博士階段的學(xué)習(xí)，并從事高技能的數(shù)學(xué)相關(guān)職業(yè)。

關(guān)于文藝復(fù)興慈善機構(gòu)

文藝復(fù)興慈善機構(gòu)（Renaissance Philanthropy）是一家非營利組織，通過激發(fā)慈善家、科學(xué)家和創(chuàng)新者的探索熱情，助力開啟 21 世紀的文藝復(fù)興時代。成立第一年，該機構(gòu)就為科學(xué)、技術(shù)和創(chuàng)新領(lǐng)域撬動了超 2.14 億美元的慈善資金，在人工智能、教育、氣候、健康和科學(xué)基礎(chǔ)設(shè)施等領(lǐng)域發(fā)起了十余個專項計劃。機構(gòu)由各領(lǐng)域?qū)＜覡款^，設(shè)計有明確時間周期、以核心研究理念為導(dǎo)向的專項基金，并通過實用指南和社群建設(shè)，激勵各界人才投身相關(guān)領(lǐng)域研究。從加快數(shù)學(xué)發(fā)現(xiàn)進程到推動人才流動，文藝復(fù)興慈善機構(gòu)正為優(yōu)質(zhì)創(chuàng)新理念與資源搭建對接橋梁，助力各領(lǐng)域?qū)崿F(xiàn)突破性發(fā)展，推動整個行業(yè)的變革。

參考資料

https://www.renaissancephilanthropy.org/insights/renaissance-philanthropy-and-xtx-markets-additional-13-million

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

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

讓數(shù)學(xué)

更加

易學(xué)易練

易教易研

易賞易玩

易見易得

易傳易及

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

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

查看原始文章出處

點擊zzllrr小樂

公眾號主頁

右上角

置頂★加星

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