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

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

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

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

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

1800萬美元

為數學突破提供「AI加速器」

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

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

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

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

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

XTX Markets慈善事業負責人Simon Coyle表示：

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

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

•  

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

   

•  

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

   

•  

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