Simons Foundation 联合 Anthropic 与 OpenAI 启动 1500 万美元计划助数学界应对 AI 时代

Simons Foundation 宣布与 Anthropic、OpenAI 合作，三方合计投入 1500 万美元资助与资源，由基金会通过公开征集提案管理，支持工作坊和倡议，帮助数学研究者评估 AI 辅助成果、学习新工具并制定 AI 使用规范。Anthropic 和 OpenAI 还将向受资助者提供 AI 工具和算力，范围扩展至基础科学。基金会此前曾资助 Lean 证明助手的开发。