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

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

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

圖源：renaissancephilanthropy.org

作者：文藝復興慈善機構（Renaissance Philanthropy）

& XTX Markets 2026-3-4

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

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

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

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

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

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

資助詳情

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

申請詳情

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

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

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

關于人工智能數(shù)學基金

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

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

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

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

關于XTX Markets

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

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

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

關于文藝復興慈善機構

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

參考資料

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

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

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

讓數(shù)學

更加

易學易練

易教易研

易賞易玩

易見易得

易傳易及

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

收藏、分享、轉載、投稿

查看原始文章出處

點擊zzllrr小樂

公眾號主頁

右上角

置頂★加星

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