陶哲轩官宣AI数学基金首轮名单：29个项目瓜分1.3亿，数学界沸腾！（

1.陶哲轩数学奖

近日，陶哲轩表示，自己所担任顾问的AI数学基金，刚刚公布第一批获得资助的项目：由于收到大量高质量提案，基金已将总资助金额从900万美元翻倍至1800万美元。预计2025年晚些时候还将再开放一轮申请。

2.陶哲轩数学家排名

去年12月，陶哲轩表示同意加入AI数学基金（AI for Math Fund）顾问委员会。

3.陶哲轩数学界排名

该基金由Renaissance Philanthropy（文艺复兴慈善基金会）与XTX Markets联合发起，旨在支持新型AI工具的开发，为推动数学长期发展奠定基础1800万美元为数学突破提供「AI加速器」。

4.数学天才陶哲轩简介

该基金首轮资助的29个项目，涵盖斯坦福、剑桥、牛津等全球多所顶尖高校和研究机构的数学家与研究人员，致力于构建能够在多个关键任务中促进数学研究发现的AI系统，比如：构建前沿的形式化数学数据集、开发推动AI与数学协同的工具，探索在基础数学中应用AI的高风险高回报方案等。

5.陶哲轩曾获得数学界最高荣誉

每个项目的资助金额最高可达100万美元AI数学基金于2024年12月启动后，收到了全球280份高质量提案由于这些提案质量非常高，9月17日，XTX Markets决定将最初承诺出资的900万美元，翻倍至1800万美元。

6.陶哲轩数学世界排名多少

XTX Markets慈善事业负责人Simon Coyle表示：「我们收到的首轮提案非常优秀，因此我们非常高兴将初始资助翻倍期待这些项目在接下来的一年中陆续开展，也很高兴能支持全球数学家的重要工作」部分获得资助的项目名单如下：

7.陶哲轩数学竞赛经验

Sketchpad（爱丁堡大学）：开发将数学证明自动转换为结构化数据的系统，引入新的图结构表示方式，把证明拆分为独立语句，以提升AI在形式化数学中的实用性与精度形式化现代定理（帝国理工学院）：构建公开数据集，收录来自《数学年刊》等期刊的定理形式化陈述，扩充形式化数学库，为自动形式化、错误识别、辅助证明等任务提供评测基准。

8.天才华裔数学家陶哲轩的逻辑难题

LeanTutor（加州大学伯克利分校）：开发可自动形式化本科生数学证明并判定其正确性的工具，提供个性化学习反馈，结合教育研究、机器学习与形式方法，构建学生与AI共同探索数学的平台文艺复兴慈善基金会召集了专家评审委员会负责评审提案并发放资助，其CEO Tom Kalil称，自己坚信这些项目所开发的工具将具有真正的变革意义：。

9.陶哲轩数学公式

「AI在数学领域的进步，不仅可能带来新定理的发现，也有望增强软硬件系统的安全性，并提升AI模型的逻辑推理能力」XTX Markets创始人兼CEO