# 竞赛数学求解

OpenReasoning-Nemotron-7B 是一个基于 Qwen2.5-7B-Instruct 衍生的大语言模型，专注于数学、代码和科学解决方案的生成。

专为 Lean 4 形式化定理证明设计的开源大型语言模型，通过递归定理证明流程和强化学习训练，实现了卓越的准确性。