SAIR Open Math OS 软启动：用开放模型、团队共享提示词与捐赠算力搭建数学共同体 AI 工作台

Terence Tao 于 10 月 16 日宣布 SAIR Open Math OS 软启动。当前服务托管 DeepSeek V4.1 Flash、Kimi K3 与 GLM 5.3 Flash 等开放数学模型，能力约落后 frontier models 一年左右，但已可承担中等规模 Lean formalization、数学论证总结与讨论等任务。平台强调 team accounts：团队成员可共享彼此的 prompts，以适配协作研究；算力来自捐赠，并正向学术机构申请者提供免费账号。SAIR 同时继续招募合作方，计划在开放基座模型上进行数学专用 post-training。它把 9 月 18 日的 Open Math Model initiative 从倡议推进到可实际使用的开放服务。