「AI數(shù)學基金」宣布將投入1800萬美元，支持通過AI與機器學習工具推動數(shù)學進展，這是該領域最大的慈善投入之一。首輪資助覆蓋29個項目，劍橋、牛津、斯坦福等全球名校入圍，單個項目最高可獲100萬美元資助金額。

近日，陶哲軒表示，自己所擔任顧問的AI數(shù)學基金，剛剛公布第一批獲得資助的項目：

由于收到大量高質(zhì)量提案，基金已將總資助金額從900萬美元翻倍至1800萬美元。預計2025年晚些時候還將再開放一輪申請。

去年12月，陶哲軒表示同意加入AI數(shù)學基金（AI for Math Fund）顧問委員會。

該基金由Renaissance Philanthropy（文藝復興慈善基金會）與XTX Markets聯(lián)合發(fā)起，旨在支持新型AI工具的開發(fā)，為推動數(shù)學長期發(fā)展奠定基礎。

1800萬美元

為數(shù)學突破提供「AI加速器」

該基金首輪資助的29個項目，涵蓋斯坦福、劍橋、牛津等全球多所頂尖高校和研究機構的數(shù)學家與研究人員，致力于構建能夠在多個關鍵任務中促進數(shù)學研究發(fā)現(xiàn)的AI系統(tǒng)，比如：

構建前沿的形式化數(shù)學數(shù)據(jù)集、開發(fā)推動AI與數(shù)學協(xié)同的工具，探索在基礎數(shù)學中應用AI的高風險高回報方案等。

每個項目的資助金額最高可達100萬美元。

AI數(shù)學基金于2024年12月啟動后，收到了全球280份高質(zhì)量提案。

由于這些提案質(zhì)量非常高，9月17日，XTX Markets決定將最初承諾出資的900萬美元，翻倍至1800萬美元。

XTX Markets慈善事業(yè)負責人Simon Coyle表示：

「我們收到的首輪提案非常優(yōu)秀，因此我們非常高興將初始資助翻倍。期待這些項目在接下來的一年中陸續(xù)開展，也很高興能支持全球數(shù)學家的重要工作?！?/p>

部分獲得資助的項目名單如下：

• Sketchpad（愛丁堡大學）：開發(fā)將數(shù)學證明自動轉(zhuǎn)換為結構化數(shù)據(jù)的系統(tǒng)，引入新的圖結構表示方式，把證明拆分為獨立語句，以提升AI在形式化數(shù)學中的實用性與精度。

• 形式化現(xiàn)代定理（帝國理工學院）：構建公開數(shù)據(jù)集，收錄來自《數(shù)學年刊》等期刊的定理形式化陳述，擴充形式化數(shù)學庫，為自動形式化、錯誤識別、輔助證明等任務提供評測基準。

• LeanTutor（加州大學伯克利分校）：開發(fā)可自動形式化本科生數(shù)學證明并判定其正確性的工具，提供個性化學習反饋，結合教育研究、機器學習與形式方法，構建學生與AI共同探索數(shù)學的平臺。

文藝復興慈善基金會召集了專家評審委員會負責評審提案并發(fā)放資助，其CEO Tom Kalil稱，自己堅信這些項目所開發(fā)的工具將具有真正的變革意義：

「AI在數(shù)學領域的進步，不僅可能帶來新定理的發(fā)現(xiàn)，也有望增強軟硬件系統(tǒng)的安全性，并提升AI模型的邏輯推理能力?！?/p>

XTX Markets創(chuàng)始人兼CEO Alex Gerko近期表示，將在「AI 數(shù)學」方向提供重要的慈善支持。

他向Lean FRO（Focused Research Organization，由Convergent Research支持）捐贈500萬美元，用于提升Lean系統(tǒng)的自然語言能力與形式/非形式數(shù)學的接口。

同時，他還向Mathlib項目捐贈500萬美元，以支持其在Lean中對基礎數(shù)學知識形式化的持續(xù)發(fā)展。

「AI數(shù)學基金」的發(fā)起者

「AI數(shù)學基金」旨在通過支持數(shù)學發(fā)展方面至關重要的項目，來加快數(shù)學發(fā)現(xiàn)的進程與影響力。優(yōu)先支持以下兩大方向的項目：

• 在常規(guī)體制下，難以推進的研究；

• 有潛力帶動整個領域發(fā)展的創(chuàng)新舉措：如開發(fā)開源工具，擴大與優(yōu)化AI模型訓練所需的數(shù)據(jù)集，提升工具易用性，幫助更多數(shù)學家采用AI工具開展研究等。

文藝復興慈善基金會

文藝復興慈善基金會是一家非營利組織，致力于通過激發(fā)慈善家、科學家與創(chuàng)新者的雄心，引領21世紀新一輪的「文藝復興」。

成立首年內(nèi)，該基金會推動超過2.14億美元的科學、技術與創(chuàng)新類慈善資金，啟動了10多個覆蓋AI、教育、氣候、健康與科研基礎設施的項目。

XTX Markets

XTX Markets是一家全球領先的算法交易公司，它運用最前沿的機器學習技術，為股票、固定收益、貨幣、大宗商品及加密資產(chǎn)等50,000多種金融工具提供價格預測。

XTX Markets通過交易所與替代交易平臺進行交易，公司日交易量超過2,500億美元，業(yè)務遍及35個國家，在倫敦、新加坡、紐約、巴黎、布里斯托、孟買和埃里溫設有辦公室，員工超過250人。

XTX Markets擁有業(yè)內(nèi)領先的計算資源，配備了超過25,000 塊GPU，擁有650PB的可用存儲空間。公司還在芬蘭建設大型數(shù)據(jù)中心，以滿足未來不斷增長的算力需求。

自2020年以來，XTX Markets向全球各類慈善組織和非營利機構捐贈超過2.5億英鎊，成為英國乃至全球重要的慈善捐助者。

XTX Markets還特別重視數(shù)學教育與研究，已向英國的慈善和教育機構提供逾5000萬英鎊資助，重點支持更多來自低收入家庭的學生，進入數(shù)學相關的高等教育及高技能職業(yè)領域。

參考資料：

https://www.renaissancephilanthropy.org/news-and-insights/ai-for-math-fund-announces