Benchmarks · Mathematics

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

  1. 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.
  2. 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

More mathematics benchmarks