SAIR基金会启动开源数学模型计划

近日，非营利研究机构科学与人工智能研究基金会正式宣布启动“SAIR开放数学模型”计划。该倡议由SAIR核心团队于去年联合私人资本创立后推进，旨在摆脱大型科技企业垄断，构建完全由数学与科学界主导的开源大模型及工具链。鉴于当前开源生态需求激增，SAIR决定加速推进原定日程，并公开征集在资金、算力、技术与社区建设领域的合作伙伴。 该计划确立“社区主导、开源透明”的研发范式。首期将聚焦日常数学研究场景，涵盖复杂论证解析、文献核查、代码编写及证明形式化。SAIR承诺全面公开模型权重、训练代码与评估流程，确保实验可复现及数据可溯源。在数据与产权管理上，数学界保留数据所有权，仅凭用户明确授权方可用于模型训练；独立研究者亦将保留其原有成果的知识产权。 为保障学术独立性，SAIR强调项目治理权归属全球数学社区，所有决策与资源分配规则将完全公开。尽管将引入XTX Markets等产业伙伴提供底层算力支持，但核心研发方向与评估标准仍由学术界自主把控。目前SAIR正通过官方渠道接受机构与个人申请，并计划于近期公布首批合作名单与技术路线图。此举有望为人工智能时代的数学研究奠定开放、可信的基础设施。