math benchmark
IMOProof-Adv
IMOProof-Adv is an advanced benchmark of International Mathematical Olympiad-style proof problems requiring rigorous multi-step mathematical proofs.
Updated Aug 7, 2026
Published models1
Registry coverage1
MetricScore
EvidenceB
IMOProof-Adv leaderboard
Sorted by the source-provided rank. Higher score is better according to the registry.
| 1 | BY | 54.3% | 100.0% | 1 | C |
IMOProof-Adv highlights
The top published results on this benchmark's own scale.
What is IMOProof-Adv?
Definition and scoring fields from the benchmark registry.
IMOProof-Adv is an advanced benchmark of International Mathematical Olympiad-style proof problems requiring rigorous multi-step mathematical proofs.
Scores are shown in ratio. The current registry marks this benchmark as not independently verified with evidence level B.
- Family
- IMOProof-Adv
- Modality
- text
- Primary category
- math
- Score direction
- higher
- LLMBoard eligible
- No
- Evaluation key
- imoproof-adv|llm-stats-current
Source-native results are preserved. Eligibility for the overall LLMBoard score is a separate policy decision.
FAQ
Common questions about IMOProof-Adv.
Which model scores highest on IMOProof-Adv?
Seed 2.1 Pro is currently ranked first with 54.3%.
What does IMOProof-Adv measure?
IMOProof-Adv is an advanced benchmark of International Mathematical Olympiad-style proof problems requiring rigorous multi-step mathematical proofs.
Is a higher score better?
Yes. Higher values rank better for this benchmark.
How many models are compared?
1 unique published model results are currently shown.
Does this benchmark affect the overall score?
This benchmark is preserved as source-native evidence but is not eligible for the current overall score.