Renaissance Philanthropy与XTX Markets联合推出AI for Math Fund，资助应用AI和机器学习于数学的项目，重点在自动定理证明，初始资金为920万美元。资助类别包括软件工具、数据集、领域建设和突破性想法，申请截止日期为2025年1月10日。