aimo-progress-prize

AI Mathematics Olympic Solutions

CommonProductEducationMathematicsEducation
This GitHub repository contains training and inference code to replicate our winning solution in the AI Mathematics Olympic (AIMO) Progress Prize 1. Our solution consists of four main parts: a recipe for fine-tuning DeepSeekMath-Base 7B for use in solving math problems using Tool Integrated Reasoning (TIR); two high-quality datasets of about 10 million math questions and solutions; an algorithm for generating solution candidates with coding execution feedback (SC-TIR); and four carefully selected validation sets from AMC, AIME, and MATH to guide model selection and avoid overfitting the public leaderboard.
Visit

aimo-progress-prize Visit Over Time

Monthly Visits

494758773

Bounce Rate

37.69%

Page per Visit

5.7

Visit Duration

00:06:29

aimo-progress-prize Visit Trend

aimo-progress-prize Visit Geography

aimo-progress-prize Traffic Sources

aimo-progress-prize Alternatives