Simons Foundation 宣布启动一组新计划，帮助数学界应对 AI 在该领域的快速兴起。根据这项合作，Simons Foundation、Anthropic 与 OpenAI 将共同投入合计 1500 万美元的资金与资源。基金会表示，这些资金将由其管理并拨付，其中包括公开征集项目申请的方式。
据基金会介绍，这笔资金将用于支持各类工作坊和项目，帮助研究者做四件事：
基金会称，相关奖励与资源将以社区驱动的方式运作，并依托基金会数十年来对数学研究的支持。
除了出资，Anthropic 与 OpenAI 还将向 Simons Foundation 资助的研究者提供 AI 工具和算力。基金会说明，这部分支持的范围不限于数学，还会延伸到基础科学。
Simons Foundation 总裁 David Spergel 在公告中说：「随着人工智能迅速重塑研究格局，我们希望帮助数学界团结起来，共同找到最好的前进方向。」他还表示，现在是把数学看作一个整体的时候，它不只是一堆证明和定理，而是由人类好奇心驱动的集体理解。
Spergel 同时强调，评估、采用和使用这些工具的讨论，应当由数学共同体来推动，而不是任何单一公司或机构，该计划的目标是支持数学共同体。
公告回顾了基金会在这一领域的积累。基金会是机器学习用于科学研究的早期支持者，曾资助 Lean 证明助手的开发。基金会称，Lean 改变了数学家的工作方式，也让 AI 辅助证明成为可能。此外，基金会还组织过工作坊、讲座和合作项目，让数学家聚在一起探讨 AI 在该领域的作用。
