AREX Feed Article
Mistral 宣布 Mistral Large 4 加入 Open Math OS：1.05T 开放权重、1M 上下文，当天起向获批团队开放
北京时间 11 月 4 日凌晨（UTC 时间 11 月 3 日 17 时 30 分），Mistral AI 在中宣布，Mistral Large 4 加入 Open Math OS 的模型阵容，规格为 1.05T（约 1.05 万亿参数）开放权重、1M（约 100 万 token，词元）上下文，「今天起对获批团队（approved teams）上线」。帖文对 Open Math OS 的描述是：一个数学家与 AI 智能体在共享项目上协作的研究工作区，只构建在开放模型之上，社区可以检查并运行这些模型，数据由社区自己掌控。帖文结尾称：「阵容中的开放前沿模型越多，每个团队的选择就越多。」
这个阵容变化不只在帖文里。截至发稿，的模型选择器中已列出 Mistral Large 4.0，与 DeepSeek V4.1 Flash、Muse Spark Open、Kimi K3、GLM 5.3 Flash、GLM 5.3、Nemotron 3 六款开放模型并列。而模型上线的消息，SAIR 说得更早——运营 Open Math OS 的 SAIR 基金会已在 10 月 27 日宣布 Mistral Large 4 上线。
从选择模型到申请准入
在 Open Math OS 官网的工作区里，研究者可以为每项研究任务选择一个开放模型、设定推理深度。Mistral Large 4.0 进入这份选择列表后，获批团队可以像选用 GLM 5.3 或 Kimi K3 那样选用它——按官网的说法，「开放权重让社区可以检查、改进并运行它们」。
「获批团队」是访问这个工作区的前提。SAIR 在 10 月 27 日的中写道：「Open Math OS 新增 Mistral Large 4，来自 @MistralAI。1.05T 开放权重，1M 上下文窗口，现已向所有获批团队开放」，并在里给出申请入口 openmathmodel.org。与一周后 Mistral 自己的帖文对照，两边的规格口径几乎一致。
一个项目一台云机器：工作区怎么运转
按官网的介绍，Open Math OS 以「项目」为单位组织研究：每个项目配一台全天候运行的云机器，预装 100 多款数学与科学计算工具——据 对发布材料的梳理，点名工具包括 Lean 4 与 Mathlib、SageMath、PARI/GP、SymPy 和 LaTeX。文件、对话和计算结果都留在项目里；按官网的说法，即使合上笔记本电脑，工作也在 24/7 继续。人可以直接给项目里的智能体派活：从「证一下这个引理」到「把 3.1 节挪到第 4 章」，智能体会把改动直接落在 proof.lean 或 paper.tex 上供人审阅。
官网还提供了一个叫 Ultramath 的多智能体模式：几个智能体从不同角度各自推进同一个问题，把发现汇总回主对话，由研究者判断什么成立。数据规则写在明面上——项目、文件和对话默认私密；用团队的工作训练模型需要事先的明确同意；社区通过 Open Math Model 公开制定数据规则；成果署名归研究者自己。
从 9 月的倡议到 10 月的上线
据科技博客 ，Open Math OS 隶属于 SAIR 基金会（Foundation for Science and AI Research，一家 2025 年成立的美国非营利组织）的 Open Math Model 倡议，菲尔兹奖得主、UCLA 数学家 Terence Tao 是 SAIR 的联合创始人。9 月 11 日，包括 Tao 在内的 25 位菲尔兹奖得主发表声明《A Severe Misalignment of AI in Mathematics》，认为把「解出数学题」当作衡量 AI 能力的主要尺度，会遮蔽数学更宽的目标；9 月 18 日，Tao 宣布加速开发开放权重科学模型与开源研究工具的计划；9 月 21 日，Susquehanna International Group 与 XTX Markets 成为倡议首批公开支持者。
SAIR 在 10 月 16 日的中写道：「一个月前，我们宣布了 Open Math Model 倡议。今天，我们发布 Open Math OS」，并致谢 Hugging Face、Lean、CSCS 与 EPFL 四个发布伙伴。Mistral Large 4 的加入是这条线最近的一步：10 月 27 日 SAIR 宣布模型上线时，还说明了合作方式——ML4 的推理与模型访问由 Mistral 赞助，零数据保留，SAIR 同时向 Guillaume Lample 和 Mistral 团队致谢。
Le Chonk 的底细：1 万亿参数与 3,800 块 GPU
进入这个数学工作区的模型，是 Mistral 在 10 月 6 日以公布预览的 Mistral Large 4，非正式简称 ML4，官方绰号 Le Chonk。按博客和官方模型卡的说法，它是一个开放权重的 MoE（Mixture-of-Experts，混合专家）模型，原生支持多模态输入，总参数约 1 万亿（官方帖文口径为 1.05T）、激活参数 520 亿，是 Mistral 迄今最大、能力最强的模型，从零开始训练于 Mistral 位于欧洲的自有数据中心里的 3,800 块 NVIDIA Grace Blackwell GPU；API 定价为每百万 token 输入 1.36 美元、输出 4.18 美元。博客重点讲了网络安全：在 Artificial Analysis 网络安全指数一项「复现并修复真实漏洞」的测试中，ML4 得分 82%，为所有模型中最高——博客还点了名，称 Claude Opus 5.5 和 GPT-6 Astra 等闭源模型在该测试中因拒绝作答而接近零分。
权重在 10 月 29 日兑现。Mistral 当天宣布发布「更强的新版 Le Chonk」的开放权重，可在 Hugging Face 下载，并称其在 Cognition 的 FrontierCode 上位列开放模型第一、网络防御达到最先进水平，实测方包括 CrowdStrike、Cloudflare、Rubrik 和 Zscaler。11 月 3 日当天早些时候，Mistral 还了 alphaXiv 的帖子——对方称 Mistral Large 4 的技术报告已在 alphaXiv 独家发布。加入 Open Math OS 的公告，就发生在这些之后的数小时。
开放权重，审批放行：回复区里的分歧
在 Mistral 帖文的回复区，有用户质疑「开放」与「审批」的组合。柏林开发者 Dusan Odalovic（）写道：「说实话，只对获批团队开放，对一个开放项目来说有点怪：权重是开放的，你却还得等一个同意。」也有人把重点放在别处：Aleksandar Janca（）说，他会先讲「社区自己掌控数据」——「对一个研究小组来说，这比 1M 上下文更重要」。还有回复问到验证环节： 问，「我不会相信一个 AI 证明，除非它在 Lean 里检查通过。没有这一步，会有数学家签字吗？」——而 Open Math OS 预装的工具清单里，恰好就有 Lean 4 和 Mathlib。
对想用上这个模型的团队来说，现实的下一步是去 openmathmodel.org 递交申请、等审批结果；由谁审批、按什么标准，两家的帖文都没有写。权重本身已经开放下载、可自部署；只是要在 Open Math OS 的工作区里用到它，先得过获批这一关。