Mistral · 大模型
Mistral 发布 Mathstral 数学推理模型
Mistral 推出 Mathstral，一款专注于数学推理与科学计算的大语言模型。该模型在数学竞赛与科学推理基准上表现出色，采用 Mistral 的 MoE 架构，支持长上下文推理。Mathstral 的发布标志着 Mistral 在垂直领域模型上的新探索，为数学研究与教育场景提供了更专业的 AI 工具。
- 域名
mistral.ai- 评分
- 5 · 重大发布
- 发布
- 2025-12-12
导读
Mathstral 是 Mistral AI 推出的首个数学专用模型，规模 7B 参数，32k 上下文窗口，以 Apache 2.0 协议发布。文章把它定位为对 Archimedes 2311 周年的致敬，并指出模型基于 Mistral 7B 派生，专攻 STEM 领域的多步逻辑推理，与 Project Numina 合作完成。基线指标方面，Mathstral 在 MATH 基准上拿到 56.6%，MMLU 拿到 63.47%，与基础 Mistral 7B 相比在数学、物理、化学等学科 MMLU 子项上有可见提升。
发布说明强调一个推理时计算与精度的权衡观点：Mathstral 在允许更长推理预算时分数可以显著提高。配合 Mistral 在 la Plateforme 上的工程取向，这种为特定目的而生的模型被视为 7B 这一规模段上性能与速度的良好折中。模型权重托管在 Hugging Face，作为 instructed 模型可以直接使用，也可以按官方文档继续做微调。
从定位看，Mathstral 体现了 Mistral 倡导的小而专路线：用相对克制的参数量去解决一个高价值垂直问题，把数学推理与科学发现作为公共学术资源向社区贡献。对教育、研究与符号计算工具链开发者来说，Mathstral 提供了一个开源、许可宽松、上下文足够长的起点，让多步推理任务不必依赖更大参数的通用模型。