陶哲轩代表SAIR Foundation宣布正式启动“开放数学模型计划”
内容提要
陶哲轩代表SAIR基金会启动开放数学模型计划，联合学界与产业界构建开放权重模型及开源工具。首阶段聚焦理解论证、核对文献、形式化证明等日常科研场景，遵循开放权重、可复现评测和社区治理原则，现征集资金、算力、专业经验与社区建设合作伙伴。
延伸解读
计划加速发布的背景
陶哲轩在声明中坦言，原计划循序渐进推进，未来几个月先从若干试点项目起步。但考虑到当下形势与各界对开放模型的强烈需求，决定加快进度，将首次公开宣布提前。这表明开放数学模型计划是对当前AI开放生态需求的直接回应，而非按部就班的长期规划。
开放权重与社区治理的具体含义
计划强调模型将提供开放许可的权重与代码，公开训练方法，并提供可复现的评测。训练数据附带可追溯来源与兼容授权，发布时同时报告失败与局限。社区治理方面，数学界应设定优先事项并决定共享资源如何使用，治理规则与决策公开，成员有清晰渠道提出建议、参与决策并问责领导者。
数据使用与知识产权边界
声明明确，数学界拥有数据并决定其使用方式。仅在获得用户明确同意且依据事先约定条款的前提下，才会使用用户数据训练或改进模型。研究者自行决定分享什么、出于何种目的分享。联合开发成果的权属、许可与署名从一开始就与贡献者约定，研究者保留独立既有成果的权属，若分享给本计划，将为其数学思想与结果获得署名。
产业合作与学术独立性的平衡
计划欢迎跨越机构、地域与职业阶段的参与，并会与战略产业伙伴合作以提供算力等资源。但声明强调，这些合作必须保持社区的研究独立性。这意味着产业界提供资源的同时，数学界仍应主导优先事项和资源分配，避免研究议程被商业利益左右。
Q&A
陶哲轩宣布启动的开放数学模型计划是什么？
该计划由陶哲轩代表SAIR Foundation于2026年9月18日宣布启动，旨在联合学术界与产业界，为数学及科学研究构建开放权重模型与配套开源工具。
开放数学模型计划第一阶段主要关注哪些科研场景？
第一阶段聚焦于日常数学工作，包括理解艰深论证、核对文献、探索示例、编写代码以及形式化证明。
该计划遵循哪些核心原则？
计划以开放权重、可复现评测与社区治理为原则运作。
计划目前正在征集哪些方面的合作伙伴？
即日起面向社区征集资金、算力、专业经验与社区建设方面的合作伙伴。
SAIR Foundation是什么组织？
SAIR Foundation（科学与人工智能研究基金会）成立于2025年，是由菲尔兹奖得主陶哲轩教授发起、多位诺贝尔奖得主及全球顶尖科学家共同指导的非营利性研究机构，致力于以科学、安全的方式加速向AGI和ASI演进。
计划在数据使用和知识产权方面有哪些规定？
数据方面，数学界拥有数据并决定其使用方式，仅在获得用户明确同意且依据事先约定条款的前提下使用用户数据训练或改进模型。知识产权方面，模型、代码与工具将在开放许可下共享（如Apache 2.0、MIT或CC BY 4.0），联合开发成果的权属、许可与署名从一开始就与贡献者约定，研究者保留其独立既有成果的权属。
