AI EVALUATION, IN CONTEXT.BY EQUALITY MACHINE

LLM Stats

USAMO25

The 2025 United States of America Mathematical Olympiad (USAMO) benchmark consists of six challenging mathematical problems requiring rigorous proof-based reasoning. USAMO is the most prestigious high school mathematics competition in the United States, serving as the final round of the American Mathematics Competitions series. This benchmark evaluates models on mathematical problem-solving capabilities beyond simple numerical computation, focusing on formal mathematical reasoning and proof generation.

Evaluation context and evidence

Source
LLM Stats
Publisher
Not recorded
Benchmark release
Not recorded
Collected
2026-08-17
Modality
text

These are source-reported observations, not independent reruns by this site. Check the task version, evaluation protocol, unit and reporting date before comparing models. Results from different setups are not a universal ranking.

Original sources

Reported results 3

Shown in source observation order, not ranked. Dates retain the precision provided by the source.

ModelValueUnitProtocolReported date and basisSource
Claude Mythos Preview0.976Not recordedNot recorded2026-04-07 · model_announcementLLM Stats
Grok-4 Heavy0.619Not recordedNot recorded2025-07-09 · model_announcementLLM Stats
Grok-40.375Not recordedNot recorded2025-07-09 · model_announcementLLM Stats