西蒙斯基金会启动1500万美元计划，助力数学家应对人工智能时代

# 西蒙斯基金会启动1500万美元计划，助力数学家应对AI时代 来源：https://www.simonsfoundation.org/news/simons-foundation-launches-15m-effort-to-help-mathematicians-navigate-ai-era/ 西蒙斯基金会今天宣布了一系列新举措，帮助数学界应对人工智能在该领域的迅速崛起\。 根据一项合作协议，西蒙斯基金会、Anthropic和OpenAI将共同投入总价值1500万美元的资金和资源\。基金会将负责管理和发放资金，包括通过公开征集提案的方式，支持研讨会及各项举措，帮助研究人员评估近期由AI辅助取得的成果、学习和使用新工具、交流观点，并共同制定AI使用标准\。 “人工智能正迅速重塑科研格局，我们希望帮助数学界凝聚力量，开辟最佳的前进道路，”西蒙斯基金会主席戴维·斯珀格尔表示\。“现在是时候将数学视为一个整体——它不只是证明和定理的集合，更是由人类好奇心驱动的集体认知\。” Anthropic和OpenAI还将向西蒙斯基金会资助的研究人员提供AI工具和计算资源，覆盖范围不仅限于数学，还将延伸至基础科学\。 这些资助和资源将由学术共同体主导，并依托基金会数十年来对数学的支持与倡导\。基金会是将机器学习用于科学研究的早期支持者，曾资助Lean证明助手的开发。Lean彻底改变了数学家的工作方式（https://www.simonsfoundation.org/2026/06/23/from-trust-to-verification-leans-impact-on-mathematics/），并使AI辅助证明成为可能\。此外，基金会还组织了研讨会、讲座及合作活动，汇聚数学家，共同探索和讨论AI在该领域中的作用\。 “这是数学界凝聚力量的时刻，”斯珀格尔说\。“关于如何评估、采纳和使用这些工具的讨论，应由数学界主导，而非任何一家公司或机构\。这项计划的目标就是支持数学界\。”