陶哲轩宣布SAIR开放数学操作系统软启动，提供类似前沿AI的数学服务。平台托管DeepSeek V4.1 Flash、Kimi K3和GLM 5.3 Flash等开放模型，能力约落后前沿模型一年，但足以完成中等规模Lean形式化、总结数学论证等任务。平台强调团队账户，成员可互见提示词，适合协作。正招募伙伴微调数学专用模型，使用捐赠算力，向学术机构免费开放账户，欢迎反馈。