有AI數學項目速來領錢——AI for Math Fund追加投資1350萬美元——2026.3.30前申請截止

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

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

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

圖源：renaissancephilanthropy.org

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

& XTX Markets 2026-3-4

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

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

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

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

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

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

資助詳情

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

申請詳情

人工智能數學基金（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 ）。個人或團隊均可提交申請。

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

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

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

關于人工智能數學基金

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

1. 在常規發展模式下難以落地實施的項目

2. 具備推動整個數學領域向前發展潛力的項目

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

關于XTX Markets

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

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

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

關于文藝復興慈善機構

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

參考資料

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

小樂數學科普近期文章

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

讓數學

更加

易學易練

易教易研

易賞易玩

易見易得

易傳易及

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

收藏、分享、轉載、投稿

查看原始文章出處

點擊zzllrr小樂

公眾號主頁

右上角

置頂★加星

數學科普不迷路！