陶哲轩代表 SAIR Foundation 启动“开放数学模型计划”

内容摘要

该计划将联合学术界与产业界，为数学与科学研究构建开放权重模型和开源工具，首阶段聚焦理解论证、核对文献和形式化证明等场景。