math benchmark
IMOProof-Adv Leaderboard
IMOProof-Adv is an advanced benchmark of International Mathematical Olympiad-style proof problems requiring rigorous multi-step mathematical proofs.
Updated Sep 5, 2026
Models1
Model coverage1
MetricScore
EvidenceB
IMOProof-Adv Ranking
Higher score ranks better on this benchmark.
Sort by
Rank | Model | Score | Percentile | Participants | Evidence | Evaluated |
|---|
| Rank01 | ModelBY | Score54.30% | Percentile100.00% | Participants1 | EvidenceC | Evaluated |
IMOProof-Adv Highlights
The leading models and scores on this benchmark.
The Top AI Models for IMOProof-Adv
The first five results on this benchmark, with official price and output speed added where the model identity can be matched.
Ranking basisThis imoproof-adv AI model leaderboard uses descending score in the benchmark original unit. The leaderboard ranking keeps matched price and speed data separate from benchmark evidence.
- 01BYByteDance
- Score
- 54.30%
Strengths
- Ranks #1 of 1 compared models
- 100th percentile on this benchmark
- C evidence result
Considerations
- This result measures IMOProof-Adv, not total model capability
Selection summary
Best AI Models for IMOProof-Adv
Seed 2.1 Pro currently leads IMOProof-Adv with 54.30%. It is the top model on this specific benchmark, while the best LLM for the broader task should also be checked against other benchmarks, price, and runtime.
Use this leaderboard with the supporting benchmark results and coverage details above. A leaderboard position summarizes the selected ranking signal; it does not replace workload-specific testing.
What is IMOProof-Adv?
What IMOProof-Adv measures and how its scores work.
IMOProof-Adv is a math benchmark of International Mathematical Olympiad-style proof problems.
It measures performance on rigorous multi-step mathematical proofs using the Score metric, reported as a ratio.
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
- overall
LLM Stats. 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.30%.
What are the top three models on IMOProof-Adv?
The current leaders are Seed 2.1 Pro (54.30%).
Which IMOProof-Adv model has the lowest official input price?
No matched official input price is currently available.
Which models are fastest among IMOProof-Adv results?
No matched runtime record is currently available.
Does the highest score result prove overall model quality?
No. This benchmark measures one defined capability or task. The overall LLMBoard score uses a separate aggregation across eligible benchmark evidence.