📖 AI 总结

菲尔兹奖得主陶哲轩代表SAIR Foundation于2026年9月18日宣布启动“开放数学模型计划”，联合学术界与产业界为数学及科学研究构建开放权重模型与开源工具。计划首阶段聚焦理解论证、核对文献、探索示例、编写代码及形式化证明等日常科研场景，以开放许可、可复现评测和社区治理为原则运作。模型将公开训练方法与评测结果，同时报告失败与局限；训练数据须经用户明确同意并附带可追溯来源。数学界拥有数据并主导治理，研究成果以Apache 2.0、MIT或CC BY 4.0等许可共享，研究者保留既有成果权属并获得署名。该计划旨在让开放模型与可负担算力成为数学研究的共享基石，即日起征集资金、算力、专业经验与社区建设合作伙伴。