AREX Feed Article
Anthropic 承诺向数学界提供 500 万美元资金、算力与 Claude 访问，资助由 Simons Foundation 社区驱动管理
Anthropic 于 10 月 15 日 21 时 31 分（UTC）在宣布，已承诺向数学界提供 500 万美元的资金、算力与 Claude 访问权限，并与 Simons Foundation 合作，由后者以社区驱动（community-driven）方式管理这笔资助，用于支持工作坊、会议与领域专家讲座。至此，Simons Foundation 当天公布的中，两家 AI 公司的出资额均已明确：OpenAI 在约七小时前已宣布向同一计划，并称将向受助研究者开放模型与算力。
这一计划的直接背景，是 OpenAI 近期在 GitHub 仓库 公开的一批数学手稿：仓库 README 显示，这批由其内部模型产出的材料现有 719 篇手稿、372 个结果族，约 42% 的主要结果已用 Lean 证明助手完成形式化，且 README 提示部分未经形式化的结果「可能存在问题」。Simons Foundation 在中称，新资金将帮助研究者「评估近期的 AI 辅助研究结果」。
此前公告未提的出资细节，由 Anthropic 帖文补上
Anthropic 在帖文中写道：「弄清如何在数学研究以及更广泛的科学中最好地使用 AI，需要时间、精力和资源。我们渴望支持数学家推动科学进步、定义他们领域的未来。」帖文将这笔承诺的用途表述为「帮助数学界应对 AI 带来的巨大变化」，帖文末尾的链接指向 Simons Foundation 的公告推文。
时间顺序是：基金会的新闻稿于当天 14 时（UTC）发布，OpenAI 于 14 时 35 分宣布出资，Anthropic 的帖文比它们晚了约七小时。基金会与 OpenAI 此前的公告均未提及 Anthropic 一方的出资额与资源内容，这部分信息此次由 Anthropic 自行公布。
计划怎么运作：基金会发放，部分通过开放征集
Simons Foundation 的公告说明，基金会、Anthropic 与 OpenAI 将合计出资 1,500 万美元的「资金与资源」，由基金会管理与发放，方式「包括通过开放征集提案（open call for proposals）」，用于支持工作坊和各类项目，帮助研究者评估近期的 AI 辅助研究结果、学习使用新工具、交流观点，并就 AI 的使用形成集体标准。
公告称，Anthropic 与 OpenAI 还将向基金会支持的研究者提供 AI 工具与算力资源，范围「超出数学，延伸到基础科学」；基金会自己在推文中的表述是「免费的 AI 算力资源」。OpenAI 在帖文中写明的用途，是帮助数学家「检验、理解 AI 产出的结果，并在此基础上继续研究——包括我们最近发布的结果」。
基金会主席 David Spergel 在公告中说：「随着 AI 快速重塑研究格局，我们希望帮助数学界走到一起，找到最好的前进道路。」他还强调：「社区应该主导关于这些工具如何被评估、采纳和使用的讨论，而不是任何一家公司或机构。该计划的目标是支持数学界。」公告同时提到，基金会此前已资助开发 Lean 证明助手，并称这一工具「使 AI 辅助证明成为可能」。
征集时间表、资助额度与交付方式仍未公布
把三份公告放在一起，目前能确认的是资金与用途框架：OpenAI 与 Anthropic 各承诺 500 万美元，三方合计 1,500 万美元资金与资源，由 Simons Foundation 管理发放；发放方式包括开放征集提案，用途包括工作坊、会议、讲座与特别项目。
细节仍未公布的部分包括：开放征集何时开始、单笔资助规模多大、面向哪些研究者或项目，以及两家公司承诺的算力与模型访问将以何种形式、多大额度交付——基金会公告与两家公司的帖文均未给出时间表或额度，基金会一方在 1,500 万美元中所占份额也未单独列明。对有意申请的研究者而言，在基金会公布征集与评审安排之前，这笔资助还没有可操作的申请入口。