Simons Foundation 宣布了一项新倡议，旨在帮助数学界应对人工智能快速融入该领域的趋势。通过合作伙伴关系，该基金会将与 AI 公司 Anthropic 和 OpenAI 共同投入 1500 万美元的资金和资源。基金会将管理这些资金（包括通过公开征集提案的方式），用于支持旨在帮助研究人员评估 AI 辅助结果、学习新工具以及为数学领域的 AI 使用制定集体标准的研讨会和倡议。
这一倡议建立在基金会支持机器学习用于科学的历史基础之上。值得注意的是，Simons Foundation 是 Lean 证明辅助工具的早期支持者，该工具通过使 AI 辅助证明更具可行性，显著改变了数学家的工作方式。除了主要关注数学领域外，Anthropic 和 OpenAI 还将向基金会支持的一小组研究人员提供 AI 工具和计算资源，将该倡议的影响范围扩展到基础科学的其他领域。
这张图片展示了 Lean 证明辅助工具，基金会支持该工具以使 AI 辅助证明对数学家来说更具可行性。
虽然该计划旨在赋权社区推动其自身的标准，但这一合作伙伴关系突显了学术研究与大型 AI 实验室之间的重大交集。基金会的目标是超越将数学仅仅视为定理集合的观点，转向由人类好奇心驱动、并由现代技术支持的集体理解。目前，“面向数学+AI 研究机构的定向资助”申请已开放，提交截止日期为 2026 年 12 月 1 日。该倡议旨在确保数学界——而非任何单一公司——能够塑造这些工具在继续重塑研究格局时的采用和评估方式。