西蒙斯基金会与Anthropic、OpenAI合作推出1500万美元AI数学项目
西蒙斯基金会宣布与Anthropic和OpenAI合作，推出总计1500万美元的资金和资源项目，帮助数学家应对AI在数学领域的迅速崛起。这一举措将通过开放提案支持工作坊和倡议，帮助研究人员评估AI辅助成果、学习使用新工具，并共同制定AI使用的集体标准。
项目由数学社区驱动，强调集体合作而非单一机构主导。西蒙斯基金会长期致力于支持机器学习在科学中的应用，包括资助Lean证明助理的开发，这为数学家提供了革命性工具并使AI辅助证明成为可能。该基金会还举办了工作坊、讲座和协作，促进数学家们探讨AI在该领域的角色。
“现在是时候将数学作为一个整体来审视——不仅仅是一系列证明和定理，而是由人类好奇心驱动的集体理解，”西蒙斯基金会总裁David Spergel表示。这项计划的目标是支持数学社区自身讨论AI工具的评估、采用和使用方式。
目前项目的主要限制在于需等待社区提案提交以确定具体支持的方向，而开放性讨论也可能引发关于AI伦理和影响的进一步辩论。