陶哲轩代表SAIR基金会启动开放数学模型计划
让开放模型与可负担的算力成为数学研究的共享基石
2026年9月18日，菲尔兹奖得主、SAIR Foundation联合创始人陶哲轩（Terence Tao）代表该机构宣布，「开放数学模型计划」正式启动。该计划旨在联合学术界与产业界，为数学及科学研究打造开放权重模型与配套开源工具。
计划第一阶段围绕理解论证、核对文献、形式化证明等日常科研场景展开，遵循开放权重、可复现评测与社区治理的原则。即日起，计划面向社区征集在资金、算力、专业经验与社区建设方面的合作伙伴。
SAIR FOUNDATION · 官方声明
2026年9月18日 | 陶哲轩（Terence Tao）
去年，我与几位科学家和投资人等共同创立了SAIR Foundation，意在打造一个非营利组织，在数学及其他科学领域支持人工智能的负责任使用，且不依附于任何大型AI公司。基金会资源起初相当有限，主要活动集中在播客、短期活动与竞赛。我们一直在缓慢地扩大规模、提升抱负、增强后勤保障能力。例如，我们非常感激近期获得XTX Markets的支持，资助了下一轮SAIR竞赛。此外，我们正与来自学术界与产业界的多家关键伙伴洽谈一项计划，目标是构建面向科学的开放权重模型，以及便于同时使用开源与闭源大语言模型的科学开源工具。
我们最初计划循序渐进地推进该计划，未来几个月先从若干试点项目起步。考虑到当下形势与各界对开放模型的强烈需求，我们决定加快进度，将计划的首次公开宣布提前到今天，尽管部分关键规划仍在推进之中。我们现已开始征集对该计划的意向表达，因为我们正在寻找能够贡献资金、算力、专业经验或社区建设的合作伙伴。（意向可在公告页面底部登记。）我将公告原文重录于下。我们计划在短期内发布更多更新与信息，包括合作伙伴名单，以及将该计划融入我们现有播客、活动与竞赛体系的后续规划。
Building Open Models for the Mathematical Community
数学因可被他人审视与延续的发现而进步。一代代研究者构筑了共享的知识体系，靠开放交流和对彼此贡献的尊重维系。当人工智能成为数学研究的一部分，这些准则应当塑造我们使用的工具。SAIR与其合作伙伴正式启动一项计划，站到塑造并落地这些新工具的前沿。让我们携手构建数学2.0。
Models Shaped by the Community
通过SAIR开放模型，我们邀请数学界及其支持者共同构建开源模型。研究者能够并且将会决定这些模型的训练方式、评测内容，以及它们如何服务科研与教学。社区需要能够检视、改进并独立运行的模型，其开发由共同的科学优先事项引导。参与应当跨越机构、地域与职业阶段，向所有人开放。
Tools for Everyday Research
第一阶段聚焦于日常数学工作，包括理解艰深论证、核对文献、探索示例、编写代码以及形式化证明。我们的模型将帮助人们建立理解，开展此前无力推进的研究。我们将以可靠的辅助、可验证的结果以及持续使用的成本来衡量其价值。
我们的模型将提供开放许可的权重与代码，公开训练方法，并提供可复现的评测。训练数据将附带可追溯的来源与兼容的授权，其共享边界会被清楚标注。模型发布时，将同时报告失败与局限，而非只宣扬成功。独立团队将能够复现这项工作，并把模型适配到自身的数学需求。
The Mathematical Community Owns the Data
数学界拥有数据，并决定其使用方式。我们将仅在获得用户明确同意、且依据事先约定条款的前提下，使用用户数据训练或改进模型。研究者自行决定分享什么、出于何种目的分享。
Shared Intellectual Property
本计划开发的模型、代码与工具，将在开放许可下与社区共享，例如Apache 2.0、MIT或CC BY 4.0（视情况而定）。联合开发成果的权属、许可与署名，应从一开始就与贡献者约定。尽管如此，研究者保留其独立既有成果的权属，这些成果若分享给本计划，研究者将为其数学思想与结果获得署名。
Open Community and Governance
我们欢迎跨越机构、地域与职业阶段的参与。数学界应当治理这项计划，设定优先事项并决定共享资源如何使用。治理规则与决策将公开，成员有清晰的渠道提出建议、参与决策并问责领导者。我们会与战略产业伙伴合作以提供算力等资源，但这些合作必须保持社区的研究独立性。
我们邀请你加入SAIR开放模型，让开放模型与可负担的算力成为数学研究的共享基石。
我们计划在不久的将来发布更多详细公告，敬请关注。
本文图片来自互联网，仅供学习交流使用，版权归原作者或原平台所有。如认为图片侵犯了您的权益，请联系我们删除。