西蒙斯基金会启动$15M计划帮助数学家应对AI时代

西蒙斯基金会今日宣布联合Anthropic与OpenAI投入$15M，启动助数学界应对AI崛起的倡议。该计划开放提案征集资助研讨会，帮助研究者评估AI辅助结果并制定使用标准，Anthropic与OpenAI还将提供AI工具与计算资源。基金会曾早期资助Lean证明助手等机器学习项目。