Simons Foundation 10 月 15 日宣布，将与 OpenAI、Anthropic 合作投入总额 1500 万美元的资金与资源，用于支持数学研究社群评估 AI 辅助成果、交流工具使用经验，并共同形成 AI 进入数学研究的规范。
OpenAI 另表示，公司将提供 500 万美元，以及模型和算力资源。
基金会负责管理计划
Simons Foundation 表示，这笔合作资源将由基金会管理与核发，方式包括公开征求提案、资助研讨会及相关计划。目标包括协助研究人员评估近期 AI 辅助产出的结果、学习和使用新工具、交换不同观点，并建立社群共同遵循的 AI 使用标准。
两家公司也会向获得基金会支持的研究人员提供 AI 工具与计算资源，范围不只限于数学，也涵盖基础科学。
基金会主席 David Spergel 表示，希望这些工具应由数学社群主导评估、采用与使用方式，而不是由单一企业或机构决定方向。
1500 万美元并非全部为现金捐款
公告中的资金数字需要分开看待。1500 万美元是 Simons Foundation、Anthropic 与 OpenAI 合作承诺的资金及资源总额；OpenAI 说明自身投入 500 万美元，并额外提供模型与算力。
公告并未将全部 1500 万美元描述为现金捐款，因此不能把这笔总额直接写成两家 AI 公司共同捐出的现金。
重点是建立检验 AI 辅助研究的方法
这项计划的核心不只是让研究者取得模型，而是建立检视 AI 辅助研究成果的方法。数学证明需要能够被专家理解、逐步检查，并在必要时通过 Lean 等形式化工具验证。模型即使给出看似完整的推导，也不等于结论已经可靠。
Simons Foundation 将研讨会、开放征案和社群讨论列为支持方式，目的是把研究者的审查与集体判断纳入流程。
OpenAI 提到近期数学研究材料已对外提供检视
OpenAI 在说明中提到，其近期数学研究成果采用了 Lean 形式化证明等材料，供外界检视。
公司还表示，近期发布模型在数学问题上的研究成果时，已咨询 Institute for Advanced Study 的数学与 AI 顾问团队，并公开推理摘要、尝试问题数量与 Lean 形式化证明等资料。OpenAI 同时承认，后续仍会根据社群反馈改进成果发布方式。
这些安排显示，AI 公司若希望研究成果被学界采用，除了展示模型能力，也需要提供可供外部检视的材料。
资助本身不等于独立背书
这项倡议的支持者与受益对象都处于 AI 研究生态中。企业提供工具与算力，可以扩大研究者接触前沿模型的机会，但资助本身不能视为对任何特定 AI 结果的独立验证。
这项计划的可信度，仍取决于提案与成果如何公开、研究者是否能自由提出批评，以及不同模型与非 AI 方法能否一并纳入比较。
对学界来说，AI 可以帮助探索、整理或形式化推导，但不会自动取代同行评审与数学证明标准。这次合作更像是为研究社群提供资源，让专家在工具快速演进时参与制定做法。实际成效仍要等资助项目启动、研究成果公开后，才能继续判断。