2026 年 9 月 18 日,菲尔兹奖得主、SAIR Foundation 联合创始人陶哲轩(Terence Tao)代表机构宣布启动「开放数学模型计划」,意在联合学术界与产业界,为数学及科学研究构建开放权重模型与配套开源工具。 计划首阶段聚焦理解论证、核对文献、形式化证明等日常科研场景,以开放权 本文链接