Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Mathematical Proof Reasoning on IMO-ProofBench Advanced

58.6Mask-Proof Average@4

Gemini 2.5 Pro

23.65632.72841.850.872Jun 13, 2026
Updated 1mo ago

Evaluation Results

MethodLinks
58.617.6
2026.06
53.14.8
53.116.7
2026.06
52.920.5
5018.6
46.97.1
2026.06
46.97.1
2026.06
42.111.4
2026.06
34.35.2
32.94.3
2026.06
31.20
2026.06
30.77.1
2026.06
252.4
252.4