数学人工智能基金

Renaissance Philanthropy与XTX Markets联合推出AI for Math Fund，资助应用AI和机器学习于数学的项目。

该基金重点关注自动定理证明，初始资金为920万美元。

资助类别包括生产级软件工具、数据集、领域建设和突破性想法。

申请截止日期为2025年1月10日。

生产级软件工具包括AI基础的自动形式化工具和自动非形式化工具。

数据集包括形式化定理和证明的数据集，以及与程序验证和安全代码生成相关的数据集。

领域建设包括教科书、课程和证明助手的文档支持。

突破性想法包括对证明子问题的预期难度估计和证明复杂性的形式化。