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

菲尔兹奖得主陶哲轩代表 SAIR Foundation 于 9 月 18 日宣布启动“开放数学模型计划”，联合学术界与产业界构建面向数学及科学的开放权重模型与开源工具。计划首阶段聚焦理解论证、核对文献、形式化证明等日常科研场景，以开放许可、可复现评测与社区治理为原则，即日起征集资金、算力、专业经验与社区建设合作伙伴。