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.

From the source
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 🥳!
huggingface.co

Visit source ↗huggingface.co

Announced: 11 Jul 2024 00:00 UTC
Detected: 03 Aug 2026 21:12 UTC (+753d after)

Other stories

Hugging Face · 28 AugThe Open ASR Leaderboard Adds Its First Global South LanguageCapability change

Amazon · 31 AugConnect an AgentCore Runtime hosted MCP server to Amazon QuickCapability change

Amazon · 31 AugAWS recognized as a Leader in The Forrester Wave: AI Infrastructure Solutions, Q4 2025Company news

Amazon · 31 Aug

Manage agents, tools and skills at scale with AWS Agent Registry

Amazon · 31 AugBuild observable enterprise agentic retrieval using Managed Amazon Bedrock Knowledge Base with AWS CloudFormationInfrastructure

Amazon · 31 AugBuild multi-tenant agentic chat applications on enterprise data with Amazon Bedrock Managed Knowledge Base