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