2026年10月15日，西蒙斯基金会（Simons Foundation）推出一项总额1500万美元的计划，帮助数学家在人工智能时代应对研究方式与工具的变化，并探索新技术为数学领域带来的可能性。这一努力将通过资助和项目支持数学界适应人工智能时代的发展。

西蒙斯基金会今天宣布推出一系列新举措，帮助数学界应对人工智能在该领域迅速兴起带来的变化。

根据一项合作，西蒙斯基金会、Anthropic 和 OpenAI 将合计投入 1500 万美元的资金与资源。基金会将负责管理和拨付这笔资金，包括通过公开征集提案，资助研讨会和各类举措，帮助研究人员评估近期的 AI 辅助成果，学习并使用新工具，分享看法，并形成关于 AI 使用的共同标准。

“随着人工智能迅速重塑研究格局，我们希望帮助数学界团结起来，共同开辟最佳的前进道路，”西蒙斯基金会主席戴维·斯珀格尔（David Spergel）表示，“现在是把数学作为一个整体来看待的时候——不是作为一堆证明和定理的集合，而是作为由人类好奇心驱动的集体理解。”

Anthropic 和 OpenAI 还将向西蒙斯基金会资助的研究人员提供 AI 工具和计算资源，范围不仅限于数学，也涵盖基础科学。

这些资助和资源将以社区驱动的方式运作，并依托基金会数十年来对数学的支持与倡导。基金会是机器学习用于科学的早期支持者，包括资助 Lean 证明助手的开发，这一助手改变了数学家的工作方式，并使 AI 辅助证明成为可能。此外，基金会还举办过研讨会、讲座和合作项目，把数学家聚在一起，探讨 AI 在该领域的作用。

“这是数学界团结起来的时刻，”斯珀格尔说，“关于如何评估、采用和使用这些工具，讨论应由社区推动，而不是任何一家公司或机构。该计划的目标就是支持数学界。”

评论摘要生成失败