IMOProof-Adv
Progress Over Time
Interactive timeline showing model performance evolution on IMOProof-Adv
State-of-the-art frontier
Open
Proprietary
IMOProof-Adv Leaderboard
1 models
| Context | Cost | License | ||||
|---|---|---|---|---|---|---|
| 1 |  Seed 2.1 ProNew ByteDance | — | — | — |
Notice missing or incorrect data?
What is IMOProof-Adv?
IMOProof-Adv is an advanced benchmark of International Mathematical Olympiad-style proof problems requiring rigorous multi-step mathematical proofs.
IMOProof-Adv is a text benchmark evaluating models on math and reasoning tasks. LLM Stats tracks 1 models on this benchmark, scored on a 0–1 scale. The current average is 0.5, with the leader at 0.5.
Compare leaders on the best AI for math and best AI for reasoning leaderboards.
Current leaders
Seed 2.1 Pro from ByteDance currently leads the IMOProof-Adv leaderboard with a score of 0.543 across 1 evaluated AI models.
FAQ
Common questions about the IMOProof-Adv benchmark and leaderboard.