Math Olympiad Solver
Solves and verifies elite competition-level math problems using rigorous adversarial reasoning and fresh-context proof validation.
The Math Olympiad skill transforms Claude into a specialized mathematical reasoning engine designed for high-stakes competitions like the IMO, Putnam, and USAMO. It utilizes a sophisticated multi-stage workflow that prioritizes pure logical derivation over numerical computation, employing 'fresh-context' adversarial verification to catch subtle logical gaps that standard self-correction often misses. By isolating the proof from the thinking process and applying specialized verification patterns—such as specializing theorems to famous open problems like the Riemann Hypothesis—this skill ensures high-precision outputs and provides calibrated confidence ratings to prevent hallucinations in complex proofs.