Miklós Schweitzer 2025
GPT-5 Pro 90% Not in model cards
Models write proofs for the 2025 Miklós Schweitzer competition, a hard Hungarian university-level contest. MathArena runs and grades it.
Listed among MathArena competitions. Dataset created 2025-12-10.
Made by MathArena (ETH Zurich SRI Lab) Released Dec 2025 Written proofs All tasks public
Last model added Oct 2025
Scores refreshed 2 Nov 2026
- Level
- Research frontier Researchers, on open problems or tasks that take days
- Scored
- Graded by people Human experts grade or compare the outputs.
- Answers
- Written proof
1
Model scored on its own leaderboard
GPT-5 Pro leads with 90%
Best score per model from the benchmark's own leaderboard, read on 2 Nov 2026. Where a model ran with several settings or harnesses, we keep its best.
- 1 GPT-5 Pro 90%
| # | Model | Score | Setting | Date | Source |
|---|---|---|---|---|---|
| 1 | GPT-5 Pro | 90% | Oct 2025 | Official leaderboard |
The best score passed 85% in Oct 2025
All the scores we have, one dot each, so a model tested at several settings appears more than once.
On the benchmark’s own leaderboard
No lab model card reports it yet
We read the headline results of 479 launch posts from 51 labs, and none of them list this benchmark.
More in Math
- IMO-AnswerBench In use 400 olympiad problems with short verifiable answers, robustified against memorization. Scored by answer match. GLM-5.2 91%
- AIME 2026 In use Models solve the 30 integer-answer problems from the 2026 AIME I and II math competitions. Scored by exact answer match. GPT-5.5 100%
- HMMT 2026 In use Models solve the 33 final-answer problems from the February 2026 Harvard-MIT Mathematics Tournament. Scored by exact answer match. GPT-5.5 98.5%
- MathArena (Apex, IMO, USAMO) In use Evaluates models on newly released math competitions after release. Final-answer or human/LLM-judged proof scores. Claude Opus 4.8 81.3%
- PolyMath In use Models solve 9,000 parallel math problems in 18 languages across four difficulty levels, from school math to frontier math. Final answers are checked.
Qwen3.7-Max 86.5% - USAMO 2026 In use Models write full proofs for the six problems of the 2026 USA Mathematical Olympiad. Judges grade each proof from 0 to 7 against rubrics. GPT-5.5 98.2%