← Evaluations/EVAL-20260402-160500
reasoning
Feb 25, 2026REASON-007

Prove or disprove: For any integer n > 1, if n² + 1 is divisible by 5, then n⁴ + 1 is also divisible by 5. Provide a rigorous proof. If the statement is false, provide a counterexample and explain why the intuition fails.

Winner
Claude Opus 4.6
openrouter
9.80
WINNER SCORE
matrix avg: 8.87
↓ results.json↓ report.mdFull dataset (CSV) →
10×10 Judgment Matrix · 89 judgments
OPEN DATA
Judge ↓ / Respondent →GPT-5.4GPT-OSS-120BGemini 3.1 ProDeepSeek V4Claude Opus 4.6Grok 4.20Claude Sonnet 4.6Gemini 2.5 FlashMiMo-V2-FlashMiniMax M2.5
GPT-5.4—9.82.09.19.89.09.89.39.66.8
GPT-OSS-120B9.3—4.59.39.48.99.78.99.18.3
Gemini 3.1 Pro10.010.0—10.010.06.610.010.010.06.8
DeepSeek V49.39.38.6—9.79.39.79.39.39.1
Claude Opus 4.69.810.01.69.8—8.49.89.89.82.4
Grok 4.209.09.43.29.19.4—9.38.88.88.3
Claude Sonnet 4.69.89.82.39.810.09.8—9.79.77.8
Gemini 2.5 Flash9.89.8·9.89.810.09.8—9.89.7
MiMo-V2-Flash9.89.89.39.810.09.810.010.0—7.7
MiniMax M2.59.310.06.010.010.08.610.09.810.0—