该模型在全球首届 AI 数学奥林匹克竞赛（AIMO）获得了第一名，开源，可以在本地电脑上直接跑。它是基于 deepseek-math-7b-base 的微调版本，经过两阶段微调以达到排行榜获胜解决方案，并使用思路链 CoT 提示进行模板化，同时采用 MSFT 的 ToRA 格式进行 GPT4 输出并执行代码，具备与 Transformers 集成的能力。