西蒙斯基金会今日宣布启动一项总额达 1500 万美元的联合计划，旨在协助数学界应对人工智能技术的快速演进。该资金由西蒙斯基金会、Anthropic 和 OpenAI 共同承诺提供。
根据协议安排，西蒙斯基金会将负责资金的分配与管理。具体举措包括通过公开征求建议（RFP）机制资助相关项目，支持研讨会及各类倡议活动，以协助研究人员评估近期的人工智能辅助成果，掌握新工具的使用，并推动形成关于 AI 应用的集体标准与观点分享。
在资源支持方面，Anthropic 和 OpenAI 将为获得西蒙斯基金会资助的研究人员提供人工智能工具及计算资源。这一支持范围不仅限于数学领域，还将延伸至基础科学的其他分支。
西蒙斯基金会主席 David Spergel 表示：“随着人工智能迅速重塑研究领域，我们希望帮助数学界团结起来，制定最佳的发展路径。”他强调，当前应当将数学视为一个由人类好奇心驱动的集体理解整体，而非仅仅是证明和定理的集合。
Spergel 指出：“这是数学界聚集在一起的时刻。”他认为，社区应主导如何评估、采用和使用这些工具的讨论，而非由单一公司或机构决定。该计划的核心目标是支持数学界自身的发展。
此次举措依托于西蒙斯基金会长期以来对数学领域的支持与捍卫。作为科学机器学习领域的早期支持者，该基金会曾资助精益证明助手（Lean proof assistants）的开发，这一技术已显著改变数学家的工作方式，并使人工智能辅助证明成为可能。此外，基金会此前还组织过多场研讨会、讲座及合作项目，促进数学家共同探讨 AI 在该领域的作用。
更多新闻
从信任到验证：Lean 对数学的影响
July 22, 2026
人工智能将成为 ICM 最大的数学会议的焦点
May 4, 2026
