西蒙斯基金会今天宣布了一系列新倡议，将帮助数学界应对人工智能在该领域的快速崛起。根据合作协议，西蒙斯基金会、Anthropic 和 OpenAI 将共同承诺提供1500万美元的资金和资源。该基金会将管理和拨付资金，包括通过公开征集提案的方式，支持工作坊和倡议，帮助研究人员评估近期的AI辅助成果，学习和使用新工具，分享观点，并塑造AI使用的集体标准。“随着人工智能迅速重塑研究格局，我们希望帮助数学界团结起来，开辟最佳前进道路，”西蒙斯基金会主席大卫·斯珀格尔表示。“现在是整体看待数学的时候——不仅是作为一系列证明和定理，而是作为一种由人类好奇心驱动的集体理解。”Anthropic 和 OpenAI 还将向受西蒙斯基金会支持的研究人员提供AI工具和计算资源，支持的领域不仅限于数学，还包括基础科学。奖项和资源将由社区主导，利用基金会数十年来对支持和倡导数学的承诺。该基金会是科学机器学习的早期支持者，包括资助开发Lean证明助手，这一技术革新了数学家的工作方式，使AI辅助证明成为可能。此外，基金会还召开了工作坊、讲座和合作会议，把数学家聚集在一起，探索和讨论AI在该领域的作用。“这是数学界团结起来的时刻，”斯珀格尔说。“这个社区应该主导讨论这些工具如何被评估、采用和使用，而不是任何单一公司或机构。该计划的目标是支持数学社区。”