HMMT
also: Harvard-MIT Mathematics Tournament, HMMT Feb, HMMT Nov
Whether a model can solve short-answer problems from the Harvard-MIT Mathematics Tournament within days of each sitting, before the problems have had time to enter training data.
Harvard and MIT undergraduates (the underlying competition); evaluated as a live LLM benchmark by ETH Zurich's MathArena projectReleased February 2025Live
HMMT is a competition Harvard and MIT undergraduates have run twice a year since 1998, mostly for their own high-school-age competitors rather than for AI researchers. Its individual and guts rounds set 50-minute problems with short, checkable answers — a number or an algebraic expression rather than a multiple-choice option — which is exactly the property that let it be repurposed as a maths-reasoning eval once reasoning models needed something harder than AIME. February’s team round asks for full written proofs and is graded by hand, so it stays outside the automated benchmark; the short-answer rounds do not.
HMMT entered the model-release cycle alongside AIME through ETH Zurich’s MathArena, which extracts each sitting’s problems into a verified, machine-gradable set within days of the exam. Progress on it has tracked the same reasoning-model race: a single May 2025 point release of DeepSeek’s R1 lifted its HMMT 2025 score from 41.7% to 79.4% by letting the model reason for longer, and by mid-2026 Thinking Machines Lab reported 86.3% for its Inkling model and 90.2% for the smaller, distilled Inkling-Small on the same competition.
Because HMMT shares AIME’s basic vulnerability — problems and solutions circulate publicly soon after each sitting — MathArena scores models against the newest exam available and treats older sittings as increasingly unreliable once enough time has passed for them to reach training data, an approach that keeps HMMT usable without pretending contamination is solved rather than deferred.
The set
A student-run competition held twice a year — November at Harvard, February at MIT — whose individual and guts rounds set 50-minute, short-answer problems (a number or algebraic expression, not multiple choice). MathArena extracts each sitting's answer-checkable problems into verified LaTeX and scores models within days of release; February's team round is proof-based and graded by hand, so it sits outside the automated benchmark.
Example
Compute the sum of the positive divisors (including 1) of 9! that have units digit 1. (Answer: 103)huggingface.co
Where it stands
Scored on a rolling basis via MathArena immediately after each sitting; frontier models moved from roughly 40% to over 90% on a single sitting within about a year of dedicated reasoning-model releases, though scores on the freshest exam consistently lag scores on older, possibly-seen ones.
How the top score changed hands
- May 2025DeepSeek-R1-052879.4%HMMT 2025 accuracy, up from 41.7% in the prior point release, attributed to roughly doubling the average reasoning-trace length.
- July 2026Inkling86.3%Its smaller sibling, Inkling-Small, scored higher (90.2%) on the same sitting.
Current best: Inkling-Small — 90.2% Outscored its larger sibling Inkling (86.3%) despite under a third the parameter count. A self-reported model-card figure — MathArena's independent leaderboard may rank models differently.
In the timeline · 3 entries
Thinking Machines Lab releases Inkling-Small, a distilled open-weight model
Thinking Machines released Inkling-Small, a 276B-parameter (12B active) open-weight MoE model that roughly matches its larger Inkling model despite under a third of the size.
Open weights & ecosystem · Models & capabilities
DeepSeek releases DeepSeek-R1-0528 update
Released under an MIT licence, the update raised AIME 2025 accuracy from 70% to 87.5% by roughly doubling the average length of the model's reasoning traces.
Open weights & ecosystem · Models & capabilities · Benchmarks & progress
ETH Zurich launches MathArena live math-competition benchmark
Scoring 30 models on 149 problems from five 2025 competitions, the paper found strong signs older AIME questions were already contaminated and top models scoring below 25% on proof-writing.
Benchmarks & progress