# Hugging Face — How NuminaMath Won the 1st AIMO Progress Prize

- Company: Hugging Face (huggingface.co)
- Announced: 2024-07-11T00:00:00+00:00
- Subject: Platform
- Models affected: NuminaMath 7B TIR, DeepSeekMath-Base 7B
- Source: https://huggingface.co/blog/winning-aimo-progress-prize
- Record: https://forck.live/items/1855-how-numinamath-won-the-1st-aimo-progress-prize

This blog post describes how the NuminaMath 7B TIR model, fine-tuned by Numina and Hugging Face, won the 1st AIMO Progress Prize by solving 29 out of 50 math problems, and details the training recipe and techniques used.

## Evidence

Verbatim from https://huggingface.co/blog/winning-aimo-progress-prize:

> We’re excited to share that our model — NuminaMath 7B TIR — was the winner and managed to solve 29 out of 50 problems on the private test set 🥳!

---

Record: https://forck.live/items/1855-how-numinamath-won-the-1st-aimo-progress-prize
Catalogue: https://forck.live/llms.txt
Feed: https://forck.live/feed.md
