List your company

Mathematical Proof on IMO 2025

88.69ScoreSTAR-PólyaMath
28.026843.775959.52575.2741May 19, 2026

Evaluation results

MethodLinks
STAR-PólyaMathBackbone=all GPT-5.5xh2026.0588.69
GPT-5.4Reasoning Effort=xhigh2026.0578.57
GPT-5.5Reasoning Effort=xhigh2026.0570.83
Claude Opus 4.7Reasoning Effort=xhigh2026.0570.24
Gemini 3.1 Pro2026.0567.26
GPT-5.2Reasoning Effort=high2026.0558.33
Gemini 3 Pro2026.0541.67
Claude Opus 4.6Reasoning Effort=high2026.0530.36