陶哲轩宣布，其联合创办的SAIR基金会启动“开放模型”计划，联合学界与业界开发科学开源大模型及工具。首阶段聚焦数学研究，包括理解论证、验证引用、编写代码和形式化证明。模型权重、代码和训练方法将开放，数据使用需经同意，社区主导治理，欢迎各方以资金、算力或专业知识参与。