AREX Feed Article
OpenAI 宣布向 Simons Foundation 新计划捐资 500 万美元，并将向受助研究者开放模型与算力
，向 Simons Foundation 的一项新计划捐资 500 万美元，帮助数学家检验、理解 AI 产出的结果并在其基础上继续研究，其中特别点名了 OpenAI 近期自己发布的那批数学结果。资金由 Simons Foundation 管理与发放，用于支持工作坊、会议与特别项目；OpenAI 同时承诺向基金会支持的研究者提供其模型与算力的访问权限。
：它与 Anthropic、OpenAI 三方合计将投入 1500 万美元的资金与资源，由基金会管理并发放，其中包括一次公开征集提案。双方官方帖文相隔两分钟先后发出，Simons Foundation 在北京时间 22 时 33 分先行，OpenAI 在 22 时 35 分跟上。
图：Simons Foundation 为这项计划发布的新闻稿配图（图片：Lucy Reading-Ikkanda / Simons Foundation）
这次捐资与九天前的一次非常规发布直接相关。10 月 6 日，，把一个内部前沿模型（internal frontier model）产出的「一大批新数学结果」放上 GitHub 仓库，并预告将资助一系列帮助数学界理解 AI 产出成果的活动。：它发生在「OpenAI 向研究社区倾倒数百篇预印本」一周多之后，此前 AI 公司竞相解决长期悬而未决的数学问题，已在数学界引发数月动荡。
九天前埋下的伏笔，这次补上了金额与执行方
10 月 6 日的博客只写了「将资助一系列围绕理解 AI 产出重大成果的工作坊、会议与特别项目，更多信息近期公布」，没有金额，没有执行机构。10 月 15 日的帖文补齐了这两项：500 万美元，交由 Simons Foundation 管理与发放。
OpenAI 把用途直接绑定在自家成果上：「帮助数学家检验、理解 AI 产出的结果并在其基础上继续研究，包括我们近期发布的结果。」
这批结果目前是什么状态， 写得很直白：截至发稿，仓库收录 719 篇手稿、归组为 372 个家族；结果处于不同验证阶段，并非全部配有 Lean 形式化证明（Lean 是一种让计算机核查数学证明的编程语言），约 42% 的主要结果已经形式化；README 同时警告，「部分未形式化的结果可能存在问题」。仓库还披露了产出规模：模型在整个评估过程中被提出约 4,000 个问题，平均每项结果约等于三小时 ChatGPT Pro 思考时间的算力。
资金怎么用：公开征集提案，算力延伸到基础科学
Simons Foundation 的新闻稿写明了钱的走向：基金会将管理和发放这笔资金，其中包括一次公开征集提案，资助的工作坊与相关举措意在帮助研究者评估近期的 AI 辅助结果、学习并使用新工具、交流观点，以及共同塑造 AI 使用的集体标准。
算力部分不止于数学。新闻稿称，Anthropic 与 OpenAI 将向基金会支持的研究者提供 AI 工具与算力，覆盖范围超出数学、延伸至基础科学；把这部分概括为给受助研究者提供「免费的 AI 算力资源」。
新闻稿还交代了这家基金会介入此事的基础：它是科学机器学习的早期资助方，曾资助 Lean 证明助手的开发，并长期召集数学家探讨 AI 在学科中的角色。The Verge 的报道确认，OpenAI 的 500 万美元是这项 1500 万美元计划的一部分，Anthropic 亦有出资。
Spergel：评估与采纳的讨论应由数学界主导
Simons Foundation 主席 David Spergel 在新闻稿中说：「当 AI 快速重塑研究格局，我们希望帮助数学界走到一起，找到最佳的前进路径。现在是把数学当作一个整体来看待的时候了——它不是一堆证明和定理的集合，而是由人类好奇心驱动的集体理解。」
他补充：「这是数学界走到一起的时刻。关于这些工具如何被评估、采纳和使用的讨论，应该由这个共同体来主导，而不是任何单一公司或机构。这个计划的目标就是支持数学界。」
公告没有回答的问题
两份公告给出了两个数字：OpenAI 的 500 万美元与三方的合计 1500 万美元。至于 Anthropic 或 Simons Foundation 自身出资多少，没有披露。
模型与算力的细节同样空缺：涉及哪些模型、以什么形式提供、研究者如何申请，公告均未说明；公开征集提案何时开放、由谁评审、标准是什么，也没有时间表。至于会不会设立专门核查这批手稿的项目，新闻稿只笼统提到帮助研究者「评估近期的 AI 辅助结果」，未作进一步说明。
OpenAI 在帖文末尾承诺，将向 Simons Foundation 支持的研究者提供「我们的模型与计算资源」——具体给什么、给多少，两份公告都没有写明。