三方合计投入1500万美元

西蒙斯基金会 10 月 15 日宣布一组新安排，用来帮助数学界面对人工智能进入这个领域。在这项合作里，西蒙斯基金会、Anthropic 和 OpenAI 将合计投入 1500 万美元的资金和资源。基金会负责管理和发放，途径包括公开征集方案。

这些钱用来支持研讨和相关安排，让研究者评估近期由人工智能辅助得到的结果，学习并使用新工具，交流看法，并形成使用上的共同标准。公告没有把这笔钱写成已经发给具体个人的资助。

Anthropic 和 OpenAI 还会向西蒙斯基金会支持的研究者提供人工智能工具和计算资源。这个范围超出数学，包括基础科学。工具和算力是另外承诺的资源，公告没有给出机器数量或额度。

基金会写到，它早年资助过用于科学的机器学习，其中包括 Lean 证明助手的开发，并认为这使人工智能辅助的证明成为可能。获资助的名单、三家各自出多少，这篇公告都没有列。现在能说的是合计承诺和公开征集，不是已经发完的一笔笔资助。