mathstral AI Models
Mistral AI 正在将 Mathstral 贡献给科学界,以支持解决需要复杂、多步骤逻辑推理的高级数学问题。Mathstral 的发布是他们支持学术项目的广泛努力的一部分——它是在 Mistral AI 与 Numina 项目合作的背景下开发的。
Mathstral 类似于同时代的艾萨克·牛顿,它站在 Mistral 7B 的肩膀上,专注于 STEM 学科。它在各种行业标准基准测试中都达到了同级别中最先进的推理能力。
Mathstral 可以通过更多的推理时间计算取得更好的结果:Mathstral 7B 在 64 名候选人中以多数投票的方式在 MATH 上得分为 68.37%,以强大的奖励模型得分为 74.59%。
mathstral AI Benchmarks
Mathstral 是一个指导模型,直接使用它或进行微调。权重托管在 HuggingFace 上。可以使用 mistral-inference
试用 Mathstral,并使用 mistral-finetune 进行调整。Paul Bourdon 教授为 Mathstral 评估中使用的 GRE 数学科目考试题目提供指导。