Mistral 零数据保留赞助 Open Math OS，聚合 Kimi K3、DeepSeek 等开源模型

GuillaumeLample · x · 2026-10-28

SAIR foundation 宣布其 Open Math OS 平台（协作数学研究与科学计算基础设施）获得 Mistral 赞助的 Mistral Large 4 推理与模型访问，且为零数据保留（zero data retention），并向数学社区开放团队申请。

平台主打四点：开源前沿模型（可选 Kimi K3、DeepSeek V4.1 Flash、GLM 5.3 等，可调 reasoning effort 至 Ultramath 档）、每项目 24/7 云计算环境（预装 100+ 数学与科学计算工具）、数据主权归数学社区、人机协作工具。其中「Ultramath」模式类似并行 agent：多个 agent 分头探索同一问题、共享发现并汇总提出解答，Lean 证明与 LaTeX 论文可在对话中直接产出供审阅。