西蒙斯基金会宣布了一系列新举措，帮助数学界应对人工智能的迅速崛起。在与Anthropic和Open AI的合作下，三家机构将共同承诺提供1500万美元的综合资金和资源。
该基金会将负责管理和分配这笔资金，包括通过公开征集提案的方式。获得资助的项目将支持各类研讨会和计划，帮助研究人员评估近期由人工智能辅助取得的成果、学习和使用新工具、分享观点，并共同制定人工智能使用的集体标准。Anthropic和Open AI还将向基金会资助的研究人员提供人工智能工具和计算资源，支持范围将从数学扩展到基础科学。
西蒙斯基金会主席David Spergel表示，人工智能正在重塑研究格局，此时正需要数学界齐心协力。他说：“现在是时候把数学看作一个整体了——它不只是证明和定理的集合，而是由人类好奇心驱动的集体理解。”
该基金会在这一领域有着悠久的历史。它是科学领域机器学习的早期支持者，曾资助Lean证明辅助工具的开发，这一工具改变了数学家的工作方式，并使AI辅助证明成为可能。基金会还组织了研讨会、讲座和合作项目，探讨人工智能在该领域的作用。Spergel强调，关于如何评估、采用和使用这些工具的讨论，应由整个社区而非任何单一公司或机构主导。
来源: Hacker News · 由HeadlinesBriefing整理摘要