新智元報(bào)道

編輯：元宇

【新智元導(dǎo)讀】「AI數(shù)學(xué)基金」宣布將投入1800萬(wàn)美元，支持通過(guò)AI與機(jī)器學(xué)習(xí)工具推動(dòng)數(shù)學(xué)進(jìn)展，這是該領(lǐng)域最大的慈善投入之一。首輪資助覆蓋29個(gè)項(xiàng)目，劍橋、牛津、斯坦福等全球名校入圍，單個(gè)項(xiàng)目最高可獲100萬(wàn)美元資助金額。

近日，陶哲軒表示，自己所擔(dān)任顧問(wèn)的AI數(shù)學(xué)基金，剛剛公布第一批獲得資助的項(xiàng)目：

由于收到大量高質(zhì)量提案，基金已將總資助金額從900萬(wàn)美元翻倍至1800萬(wàn)美元。預(yù)計(jì)2025年晚些時(shí)候還將再開(kāi)放一輪申請(qǐng)。

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

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

1800萬(wàn)美元

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

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

構(gòu)建前沿的形式化數(shù)學(xué)數(shù)據(jù)集、開(kāi)發(fā)推動(dòng)AI與數(shù)學(xué)協(xié)同的工具，探索在基礎(chǔ)數(shù)學(xué)中應(yīng)用AI的高風(fēng)險(xiǎn)高回報(bào)方案等。

每個(gè)項(xiàng)目的資助金額最高可達(dá)100萬(wàn)美元。

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

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

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

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

部分獲得資助的項(xiàng)目名單如下：

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

• 形式化現(xiàn)代定理（帝國(guó)理工學(xué)院）：構(gòu)建公開(kāi)數(shù)據(jù)集，收錄來(lái)自《數(shù)學(xué)年刊》等期刊的定理形式化陳述，擴(kuò)充形式化數(shù)學(xué)庫(kù)，為自動(dòng)形式化、錯(cuò)誤識(shí)別、輔助證明等任務(wù)提供評(píng)測(cè)基準(zhǔn)。

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

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

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

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

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

同時(shí)，他還向Mathlib項(xiàng)目捐贈(zèng)500萬(wàn)美元，以支持其在Lean中對(duì)基礎(chǔ)數(shù)學(xué)知識(shí)形式化的持續(xù)發(fā)展。

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

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

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

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

文藝復(fù)興慈善基金會(huì)

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

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

XTX Markets

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

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

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

自2020年以來(lái)，XTX Markets向全球各類慈善組織和非營(yíng)利機(jī)構(gòu)捐贈(zèng)超過(guò)2.5億英鎊，成為英國(guó)乃至全球重要的慈善捐助者。

XTX Markets還特別重視數(shù)學(xué)教育與研究，已向英國(guó)的慈善和教育機(jī)構(gòu)提供逾5000萬(wàn)英鎊資助，重點(diǎn)支持更多來(lái)自低收入家庭的學(xué)生，進(jìn)入數(shù)學(xué)相關(guān)的高等教育及高技能職業(yè)領(lǐng)域。

參考資料：

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