陶哲轩代表SAIR基金会启动开放数学模型计划，联合学界与产业界构建开放权重模型及开源工具。首阶段聚焦理解论证、核对文献、形式化证明等日常科研场景，遵循开放权重、可复现评测和社区治理原则，现征集资金、算力、专业经验与社区建设合作伙伴。