Terence Tao's SAIR Foundation launches open mathematical model initiative
On September 18, 2026, Fields Medalist Terence Tao, co-founder of SAIR Foundation, announced the launch of the Open Mathematical Model Initiative. The program aims to build open-weight models and open-source tools for mathematics and science, initially focusing on argument comprehension, literature verification, and formal proof. The foundation is now soliciting partners for funding, compute, expertise, and community building.
Coverage timeline
量子位量子位
陶哲轩代表SAIR Foundation宣布正式启动“开放数学模型计划” 量子位的朋友们 2026-09-19 14:44:02 来源： 量子位 让开放模型与可负担的算力成为数学研究的共享基石 2026 年 9 月 18 日，菲尔兹奖得主、SAIR Foundation联合创始人陶哲轩（Terence Tao）代表机构宣布启动「开放数学模型计划」，意在联合学术界与产业界，为数学及科学研究构建开放权重模型与配套开源工具。 计划首阶段聚焦理解论证、核对文献、形式化证明等日常科研场景，以开放权重、可复现评测与社区治理为原则运作，即日起面向社区征集资金、算力、专业经验与社区建设方面的合作伙伴。 陶哲轩发表声明如下： SAIR FOUNDATION · 官方声明 SAIR 开放数学模型计划 2026 年 9 月 18 日 | 陶哲轩（Terence Tao） 去年，我与几位科学家和投资人等共同创立了SAIR Foundation，意在打造一个非营利组织，在数学及其他科学领域支持人工智能的负责任使用，且不依附于任何大型 AI 公司。基金会的资源起初相当有限，主要活动集中在播客、短期活动与竞赛。我们一直在缓慢地扩大规模、提升抱负、增强后勤保障能力。例如，我们非常感激近期获得 XTX Markets 的支持，资助了下一轮 SAIR 竞赛。此外，我们正与来自学术界与产业界的多家关键伙伴洽谈一项计划，目标是 构建面向科学的开放权重模型，以及便于同时使用开源与闭源大语言模型的科学开源工具 。 我们最初计划循序渐进地推进该计划，未来几个月先从若干试点项目起步。考虑到当下形势与各界对开放模型的强烈需求，我们决定加快进度，将计划的首次公开宣布提前到今天，尽管部分关键规划仍在推进之中。我们现已开始征集对该计划的意向表达，因为我们正在寻找能够贡献资金、算力、专业经验或社区建设的合作伙伴。（意向可在公告页面底部登记。）我将公告原文重录于下。我们计划在短期内发布更多更新与信息，包括合作伙伴名单，以及将该计划融入我们现有播客、活动与竞赛体系的后续规划。 为数学界构建开放模型 Building Open Models for the Mathematical Community 数学因可被他人审视与延续的发现而进步。一代代研究者构筑了共享的知识体系，靠开放交流和对彼此贡献的尊重维系。当人工智能成为数学研究
