自述文件
Mistral AI 正在向科学界贡献 Mathstral，以增强解决需要复杂、多步骤逻辑推理的高级数学问题的能力。Mathstral 的发布是 Mistral AI 支持学术项目更广泛努力的一部分——它是在 Mistral AI 与 Project Numina 合作的背景下产生的。
与当时的艾萨克·牛顿类似，Mathstral 站在 Mistral 7B 的肩膀上，专注于 STEM 学科。在各种行业标准基准测试中，它在其规模类别中实现了最先进的推理能力。
基准测试
Mathstral 可以通过更多的推理时间计算获得明显更好的结果：在 MATH 中，Mathstral 7B 通过多数投票获得 68.37% 的分数，在 64 个候选者中，通过强大的奖励模型获得 74.59% 的分数。