西蒙斯基金会投入 1500 万美元帮助数学家驾驭人工智能时代

西蒙斯基金会今天宣布了一系列新举措，将帮助数学界应对人工智能在该领域的快速崛起。根据合作伙伴关系，西蒙斯基金会、Anthropic 和 OpenAI 将承诺提供 1500 万美元的联合资金和资源。该基金会将管理和授予资金，包括通过公开征集提案的方式来支持研讨会和倡议，帮助研究人员评估最近的人工智能辅助成果、学习和使用新工具、分享观点并制定人工智能使用的集体标准。西蒙斯基金会主席 David Spergel 表示：“随着人工智能迅速重塑研究格局，我们希望帮助数学界团结起来，开辟最佳的前进道路。” “现在是时候从整体上看待数学了——不是作为证明和定理的集合，而是作为人类好奇心驱动的集体理解。” Anthropic 和 OpenAI 还将向西蒙斯基金会支持的研究人员提供人工智能工具和计算资源，范围从数学扩展到基础科学。这些奖项和资源将由社区驱动，并利用基金会数十年来对支持和倡导数学的奉献精神。该基金会是科学机器学习的早期支持者，包括资助精益证明助手的开发，该助手彻底改变了数学家的工作方式，并使人工智能辅助证明成为可能。此外，该基金会还举办了研讨会、讲座和合作活动，将数学家聚集在一起探索和讨论人工智能在该领域的作用。 “这是数学界团结起来的时刻，”斯佩格尔说。 “社区应该推动如何评估、采用和使用这些工具的讨论，而不是任何单个公司或机构。该计划的目标是支持数学社区。”