Grades full written proofs, not just final answers, for the six 2026 USA Mathematical Olympiad problems.
unassessed
| Category | math |
|---|---|
| Subcategory | olympiad proof-writing |
| Page status | active |
| Metric | % of maximum rubric points (proof grading) |
| Direction | higher_is_better |
| Unit | % |
| Dataset size | 6 |
| Dataset licence | CC BY-NC-SA 4.0 |
| Publisher | SRI Lab, ETH Zurich, with INSAIT (MathArena project); evaluation partly supported by a Google grant |
USAMO 2026 evaluates whether a model can produce a complete, rigorous mathematical proof, not just a final numeric answer, for the six problems of the 2026 USA Mathematical Olympiad. USAMO is a proof-based competition, so each problem asks for a full written argument, testing multi-step mathematical reasoning and the ability to communicate a valid proof rather than final-answer pattern matching.
six open-ended proof problems in LaTeX; a model produces a full written solution, graded against a rubric
| Model | Provider | Score | Card as of |
|---|---|---|---|
| Claude Mythos Preview | Anthropic | 97.6 | 2026-04 |
| GPT-5.4 | OpenAI | 95.2 | 2026-04 |
| GLM 5.1 | Z.ai (Zhipu AI) | 83.8 | 2026-04 |
| Gemini 3.1 Pro Preview | Google DeepMind | 74.4 | 2026-04 |
| Claude Opus 4.6 | Anthropic | 42.3 | 2026-04 |