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 11, 2026
Models1
Model coverage1
MetricScore
EvidenceB
IMOProof-Adv Ranking
Higher score ranks better on this benchmark.
| 1 | BY | 54.3% | 100.0% | 1 | C |
IMOProof-Adv Highlights
The leading models and scores on this benchmark.
What is IMOProof-Adv?
What IMOProof-Adv measures and how its scores work.
IMOProof-Adv is an advanced benchmark of International Mathematical Olympiad-style proof problems requiring rigorous multi-step mathematical proofs.
Scores are shown in ratio. This benchmark is not independently verified and has an evidence level of B.
- Family
- IMOProof-Adv
- Modality
- text
- Primary category
- math
- Score direction
- higher
- LLMBoard eligible
- No
- Evaluation key
- imoproof-adv|llm-stats-current
Benchmark scores retain their original unit. Overall score eligibility is shown separately.
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 model results are currently shown.
Does this benchmark affect the overall score?
No. This benchmark is shown for reference but does not contribute to the overall score.