SAIR的开放数学模型倡议（阅读需5分钟）

# SAIR开放数学模型倡议 来源：https://terrytao.wordpress.com/2026/09/18/sairs-open-math-model-initiative/ 去年，我与一些私人捐助者共同创立了科学与AI研究基金会（SAIR）(https://sair.foundation/events)，旨在创建一个独立于主要AI公司的非营利组织，以支持人工智能在数学及其他科学领域中的负责任应用。起初，我们的资源相当有限，主要活动包括播客(https://www.youtube.com/@SAIRfoundation/videos)、小型活动(https://sair.foundation/events)和竞赛(https://competition.sair.foundation/)。然而，我们一直在努力逐步扩大规模、提升愿景并增强后勤能力；例如，我们非常感谢近期获得的XTX Markets(https://www.xtxmarkets.com/news/2026-update-on-xtx-markets-ai-philanthropy/)支持，这笔资金将用于资助下一轮SAIR竞赛。此外，我们正与学术界和产业界的几个关键合作伙伴进行谈判，旨在共同推进一项计划：构建用于科学的开放权重模型，以及用于在科学应用中使用开放与闭源大语言模型的开源工具。 我们原计划在未来几个月内通过几个试点项目逐步推出该倡议，但鉴于当前形势和对开放模型的迫切需求，我们决定加快进程，将倡议的首次公告提前至今日发布(https://sair.foundation/open-math-model/)，尽管一些关键的规划工作仍在进行中。特别是，我们现在准备收集对该倡议的参与意向，因为我们正在寻找能够为我们的工作提供资金、算力、专业知识或社区建设支持的合作伙伴。（参与意向可在公告页面底部登记注册(https://sair.foundation/open-math-model/)。）我在下方转载了我们首次公告的文本：我们计划不久后提供关于该倡议的更多更新信息，包括合作伙伴的公布，以及将该倡议融入我们现有播客、活动和竞赛体系的未来计划。 ## 为数学界构建开放模型 来自SAIR基金会的邀请 数学通过他人能够检验并基于其发展的发现而进步。一代又一代研究者创造了共享的知识体系，这一体系的维系得益于开放的交流与对彼此贡献的尊重。当人工智能成为数学研究的一部分时，这些原则应塑造我们使用的工具。SAIR及其合作伙伴正启动一项倡议，旨在走在塑造和实施这些新工具的前沿。让我们携手共建数学2.0。 ## 由社区塑造的模型 通过SAIR开放模型，我们邀请数学界及其支持者共同构建开源模型。研究者能够且将决定这些模型如何训练、以何为评估依据、以及如何服务于研究和教育。社区需要能够自主检查、改进并运行的模型，其发展应由共享的科学优先事项引导。参与应向所有机构、地区和职业阶段的研究者开放。 ## 服务于日常研究的工具 我们的第一阶段将聚焦于日常数学工作：理解困难论证、核查参考文献、探索示例、编写代码以及形式化证明。我们的模型将帮助人们发展理解力，并开展他们原本无法独立进行的研究。我们将通过可靠的辅助、可验证的结果以及持续使用的成本来衡量其价值。 ## 开放开发 我们的模型将拥有开放许可的权重和代码、公开的训练方法以及可复现的评估。训练数据将附有文档化的来源和兼容的许可协议，共享限制将被清晰说明。模型发布将同时报告成功与失败及局限性。独立团队将能够复现工作，并根据自身数学需求调整模型。 ## 数学界拥有数据 数学界拥有数据并决定其使用方式。我们仅在获得用户明确同意、并遵循事先商定条款的情况下，才会使用用户数据来训练或改进模型。研究者自行选择共享内容及其用途。 ## 共享知识产权 通过本倡议开发的模型、代码和工具，将在开放许可（例如Apache 2.0、MIT或CC BY 4.0等适用许可）下与社区共享。合作开发成果的所有权、许可和署名应从一开始就与贡献者达成一致。不过，研究者仍保留其独立及先前工作成果的所有权，这些成果若分享给本倡议，其数学思想和成果将获得相应署名。 ## 开放的社区与治理 我们欢迎所有机构、地区和职业阶段的研究者参与。数学界应治理该倡议，设定优先事项并决定共享资源的使用方式。治理规则和决策将公开透明，成员将有明确途径提出修改建议、参与决策并监督领导者。虽然我们将与战略性产业合作伙伴合作提供算力及其他资源，但关键是这些合作必须维护社区的研究独立性。 ## 加入倡议 我们邀请您加入SAIR开放模型，共同助力使开放模型和可负担的算力成为数学研究的共享基础。我们计划在不久的将来发布关于本倡议的更详细公告：敬请关注！ 联系邮箱：[collaboration@sair\.foundation](mailto:[email protected]) 欢迎您也加入SAIR基金会的Zulip讨论：在Zulip上加入讨论(https://zulip.sair.foundation/#narrow/channel/27-Open-Math-Model)