SAIR 开放数学模型倡议
核心概要
这篇博文由 Terence Tao 发布，宣布 SAIR 基金会启动“开放数学模型”倡议，邀请数学界与支持者共同构建开源模型，并公开征集在资金、算力、专业知识和社区建设方面的合作伙伴；倡议提出模型由社区塑造、面向日常数学工作（理解论证、核对文献、探索例子、写代码、形式化证明）、开放开发（开放许可的权重与代码、公开训练方法、可复现评估）、数据由数学社区拥有、共享知识产权（如 Apache 2.0、MIT、CC BY 4.0）以及开放社区与治理等原则，并说明因当前形势与对开放模型的高需求而提前发布公告。
深度剖析
宣布 SAIR 启动面向数学社区的开放模型倡议，并公开征集表达兴趣的合作伙伴。 此前 SAIR 的活动主要是播客、小型活动和竞赛，资源有限；该倡议把工作扩展到构建开放权重模型与开源工具，并因需求而提前公布。 这是组织公告与邀请，文中给出联系邮箱与 Zulip 讨论渠道，属于意向征集而非已完成的模型或评测结果。
提出模型应由数学社区共同塑造，参与应跨机构、跨地区、跨职业阶段。 把训练内容、评估标准以及服务研究与教育的方式交由研究者决定，强调社区需要可检查、可改进、可独立运行的模型。 以倡议原则的形式陈述，未提供已实施的治理结构或参与数据。
明确第一阶段聚焦日常数学工作，并以可靠协助、可验证结果和持续使用成本衡量价值。 把应用范围具体化为理解困难论证、核对参考文献、探索例子、编写代码和形式化证明。 属于规划性描述，文中未给出基准、指标数值或试点结果。
提出开放开发、数据所有权与共享知识产权的治理框架。 要求开放许可的权重与代码、公开训练方法、可复现评估、训练数据来源与许可说明、发布时同时报告失败与局限；数据使用需用户明确同意，成果以 Apache 2.0、MIT 或 CC BY 4.0 等开放许可共享，同时研究者保留自身独立与先前工作的所有权。 以原则与承诺形式给出，具体许可与归属安排称将与贡献者事先商定。
启示与展望
该倡议面向数学研究者、教育者及支持开放科学的机构与资助方，第一阶段限定在日常数学工作，如理解困难论证、核对参考文献、探索例子、编写代码和形式化证明；成果拟以开放许可发布，并计划与学术和产业伙伴合作获取算力，同时强调保持研究独立性。
公告称部分关键规划仍在进行，合作伙伴名单与更详细信息将在近期公布；因此模型规模、算力来源、评估方案、许可最终选择以及治理规则的具体运作方式仍待明确。本次读取的文本为博文正文与评论，未包含任何附件、表格或技术细节，故无法评估实际模型能力或成本。