Simons Foundation 联合 Anthropic 和 OpenAI 启动 1500 万美元计划支持数学界应对 AI 时代

西蒙斯基金会今天宣布了一系列新举措，将帮助数学界应对人工智能在该领域的迅速崛起。

根据一项合作协议，西蒙斯基金会、Anthropic 和 OpenAI 将共同投入 1500 万美元的资金和资源。基金会将负责管理和发放这笔资金，包括通过公开征集提案的方式，支持各类工作坊和计划，帮助研究人员评估近期的 AI 辅助成果、学习和使用新工具、分享观点，并制定 AI 使用的共同标准。

"随着人工智能迅速重塑研究格局，我们希望帮助数学界团结起来，共同开创最佳前进道路，"西蒙斯基金会主席 David Spergel 表示。"现在是时候将数学作为一个整体来审视——它不仅仅是一系列证明和定理的集合，而是一种由人类好奇心驱动的集体理解。"

Anthropic 和 OpenAI 还将向西蒙斯基金会资助的研究人员提供 AI 工具和计算资源，范围将扩展至数学之外的基础科学领域。

这些奖项和资源将由社区主导，并借助基金会数十年来长期支持与倡导数学事业的深厚积累。基金会是机器学习在科学领域应用的早期支持者，其中包括资助了 Lean 证明辅助工具的开发，它彻底改变了数学家的工作方式，并使 AI 辅助证明成为可能。此外，基金会还组织了多场工作坊、讲座和合作项目，汇聚数学家共同探讨和讨论 AI 在该领域中的作用。

"这是数学界团结起来的时刻，"Spergel 说道。"应当由社区来主导有关这些工具如何被评估、采用和使用的讨论，而不是由任何单一的公司或机构来主导。该项目的目标是支持整个数学界。"