written by Forgecat

math-olympiad

Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses. Fresh-context verifiers attack proofs with specific failure patterns. Calibrated abstention over bluffing.

Tags

• anthropic
• claude-official
• math-proofs

Installation

Skills

• math-olympiad — Solve competition math problems (IMO, Putnam, USAMO, AIME) with adversarial verification that catches the errors self-verification misses. Activates when asked to 'solve this IMO problem', 'prove this olympiad inequality', 'verify this competition proof', 'find a counterexample', 'is this proof correct', or for any problem with 'IMO', 'Putnam', 'USAMO', 'olympiad', or 'competition math' in it. Uses pure reasoning (no tools) — then a fresh-context adversarial verifier attacks the proof using specific failure patterns, not generic 'check logic'. Outputs calibrated confidence — will say 'no confident solution' rather than bluff. If LaTeX is available, produces a clean PDF after verification passes.

Details

Compatibility

Platforms

---

written by original source

math-olympiad

Competition math solver with adversarial verification.

The problem

Self-verification gets fooled. A verifier that sees the reasoning is biased toward agreement. arXiv:2503.21934 ("Proof or Bluff") showed 85.7% self-verified IMO success drops to <5% under human grading.

The approach

• Context-isolated verification: verifier sees only the clean proof, never the reasoning trace
• Pattern-armed adversarial checks: not "is this correct?" but "does this accidentally prove RH?" / "extract the general lemma, find a 2×2 counterexample"
• Calibrated abstention: says "no confident solution" rather than bluff
• Presentation pass: produces clean LaTeX/PDF after verification passes

Validation

17/18 IMO+Putnam 2025 problems solved, 0 false positives, 2 novel proofs found. See the skill's eval data in the anthropic monorepo.

Install

Use

The skill auto-triggers on "IMO", "Putnam", "olympiad", "verify this proof", etc.