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

Mathematical Proof on IMO-ProofBench

91.9Advanced Score

Aletheia

26.06843.15960.2577.341Mar 19, 2026
Updated 1mo ago

Evaluation Results

MethodLinks
2026.03
91.9--
76.7--
65.78976.7
61.99980.2
2026.03
57.799.578.6
2026.03
53.492.572.9
35.7--
30--
2026.03
28.6--