math-olympiad

To verify a mathematical proof, this Skill uses adversarial verification with a fresh-context verifier to catch errors and outputs a calibrated confidence score for your competition problem solution.

Adversarial verification is a mechanism that uses a fresh-context verifier to independently challenge and catch errors in your math proof that standard self-verification often misses.

Yes, you can use this Skill to solve and verify proofs from competitions like IMO, Putnam, USAMO, and AIME, ensuring your mathematical solutions are accurate before submission.

After your math proof passes the adversarial verification process, the Skill automatically generates a clean PDF output document containing the verified solution.

Yes, the proof verification process outputs a calibrated confidence score that provides assurance for your math solutions without bluffing, accurately reflecting the verification certainty.

The best way to check your math competition solution is using expert-level adversarial verification, which independently tests your proof reasoning and outputs a calibrated confidence score.