陶哲轩代表 SAIR Foundation 启动开放数学模型计划
陶哲轩牵头的 SAIR 启动开放数学模型计划，要让数学界自己掌控科研 AI 的权重、数据与评测标准。
菲尔兹奖得主陶哲轩（Terence Tao）代表 SAIR Foundation 宣布启动「开放数学模型计划」，联合学界与产业界构建面向数学及科研的开放权重模型（训练权重公开、可自由下载和改造）与开源工具。首阶段聚焦理解论证、核对文献、形式化证明等日常科研场景，现面向社区征集资金、算力与专业经验。
正文摘录
2026 年 9 月 18 日，菲尔兹奖得主、SAIR Foundation 联合创始人陶哲轩（Terence Tao）代表机构宣布启动「开放数学模型计划」，意在联合学术界与产业界，为数学及科学研究构建开放权重模型与配套开源工具。 计划首阶段聚焦理解论证、核对文献、形式化证明等日常科研场景，以开放权重、可复现评测与社区治理为原则运作，即日起面向社区征集资金、算力、专业经验与社区建设方面的合作伙伴。 去年，我与几位科学家和投资人等共同创立了 SAIR Foundation，意在打造一个非营利组织，在数学及其他科学领域支持人工智能的负责任使用，且不依附于任何大型 AI 公司。基金会的资源起初相当有限，主要活动集中在播客、短期活动与竞赛。我们一直在缓慢地扩大规模、提升抱负、增强后勤保障能力。例如，我们非常感激近期获得 XTX Markets 的支持，资助了下一轮 SAIR 竞赛。此外，我们正与来自学术界与产业界的多家关键伙伴洽谈一项计划，目标是构建面向科学的开放权重模型（open weights，指模型参数公开可下载、可自行部署运行），以及便于同时使用开源与闭源大语言模型的科学开源工具。 我们最初计划循序渐进地推进该计划，未来几个月先从若干试点项目起步。考虑到当下形势与各界对开放模型的强烈需求，我们决定加快进度，将计划的首次公开宣布提前到今天，尽管部分关键规划仍在推进之中。我们现已开始征集对该计划的意向表达，因为我们正在寻找能够贡献资金、算力、专业经验或社区建设的合作伙伴。（意向可在公告页面底部登记。）我将公告原文重录于下。我们计划在短期内发布更多更新与信息，包括合作伙伴名单，以及将该计划融入我们现有播客、活动与竞赛体系的后续规划。 为数学界构建开放模型 数学因可被他人审视与延续的发现而进步。一代代研究者构筑了共享的知识体系，靠开放交流和对彼此贡献的尊重维系。