据量子位报道，数学家陶哲轩（Terence Tao）代表 SAIR Foundation 宣布，“开放数学模型计划”正式启动。
这条消息的信息量集中在两个词上：一是“数学模型”，二是“开放”。从名称看，该计划的重点落在数学方向上的模型开放，即以开放的方式推进这一领域的模型相关工作。至于覆盖哪些数学分支、开放哪些模型与数据、采用何种协作或许可方式，目前公开信息尚未展开。
为什么值得关注？数学长期被视为检验 AI 推理能力的试金石。与自然语言任务相比，数学问题的答案可验证、推理链条可检查，模型是做对了还是蒙对了，往往一目了然。正因如此，数学成为衡量模型是否真正具备推理能力的关键场景之一。但与此同时，数学领域的训练数据、评测基准与工具链相对稀缺且分散，单打独斗式的复现成本很高。开放模型与开放评测的意义在于：把基础能力变成公共品，让更多研究团队站在同一基准上做可比较、可复现的工作，而不是各自重复造轮子。
陶哲轩本人的参与是另一层信号。作为活跃于 AI 与数学交叉地带的顶尖数学家，他的背书让这类计划在学术界与产业界都更容易获得注意力与信任。数学与 AI 的结合近年热度持续上升，从定理证明到形式化验证，都已有大量探索，“开放”路线能否加快这一进程，值得观察。
该计划的后续推进节奏与具体安排，仍有待进一步信息披露。