今年，Numina和HuggingFace合作角逐AI数学奥林匹克(AIMathOlympiad，AIMO)的首届进步奖。此次比赛旨在对开放LLM进行微调，以使其能解决高中难度的国际数学奥林匹克训练题。我们很高兴向大家报告:我们的模型-NuminaMath7BTIR-在比赛中脱颖而出，成功解决了私有测试集5