Benchmark
IMO-Proof
A benchmark for evaluating AI models' capabilities in mathematical proof and long-horizon rigorous reasoning, based on problems from the International Mathematical Olympiad.
Timeline (last 90 days)
Oct 15
On benchmarks such as IMO-Proof and AdvancedMathBench, Scholar-S2 is overall ahead of existing open-source models, and on some metrics it surpasses top closed-source models such as Gemini 3.1 Pro.
Unverified50%