将人与思想汇聚在一起，资助、开展并分享变革性科学。
我们的资助推进知识进步，并加强科学与社会之间的联系。
了解最新新闻、研究与动态。
我们汇聚科学家、数学家和思想家，分享想法并探索新问题。
我们由吉姆·西蒙斯和玛丽莲·西蒙斯创立，是一家推动数学与基础科学发展的私人慈善机构。
与我们一起站在基础科学研究的前沿。
熨斗研究所是一个研究中心，利用计算科学推动物理学、生物学和天文学等领域的发展。
搜索
这些资助和资源将帮助研究人员利用人工智能工具，并适应这一领域的变化。
西蒙斯基金会今天宣布了一系列新举措，旨在帮助数学界应对人工智能在该领域的迅速崛起。
根据一项合作，西蒙斯基金会、Anthropic 和 OpenAI 将共同投入 1500 万美元的资金和资源。该基金会将管理和颁发这笔资金，包括通过公开征集提案的方式，以支持研讨会和倡议，帮助研究人员评估近期由人工智能辅助得出的结果、学习并使用新工具、分享观点，并塑造人工智能使用的集体标准。
“随着人工智能迅速重塑研究格局，我们希望帮助数学界团结起来，开辟最佳前进道路，”西蒙斯基金会主席戴维·斯佩格尔说。“现在是时候把数学作为一个整体来看待——不是作为证明和定理的集合，而是作为由人类好奇心驱动的集体理解。”
Anthropic 和 OpenAI 还将向西蒙斯基金会支持的研究人员提供人工智能工具和计算资源，范围不仅限于数学，还包括基础科学。
这些奖项和资源将以社区驱动为导向，并依托该基金会数十年来对支持和倡导数学的投入。该基金会是机器学习用于科学的早期支持者，包括资助 Lean 证明助手的开发，这彻底改变了数学家的研究方式，并使人工智能辅助证明成为可能。此外，该基金会还举办了研讨会、讲座和合作活动，汇聚数学家共同探索和讨论人工智能在该领域中的作用。
“这是数学界团结起来的时刻，”斯佩格尔说。“应该由数学界来推动关于这些工具如何被评估、采用和使用的讨论，而不是任何单一公司或机构。该项目的目标是支持数学界。”