Etusivu Tutki Apua
Rekisteröidy Kirjaudu sisään
haiany
/
claude-plugins
peilaus alkaen https://github.com/anthropics/claude-plugins-official.git
1
0
Haarauta 0
Tiedostot Esitykset 0 Wiki
Haara: add-ui5-plugins
Haarat Tunnisteet
claude-plugins
/
plugins
/
math-olympiad
Ralph Furman c3f6d9e9fa Fix YAML frontmatter — quote description, replace colon with em-dash 5 kuukautta sitten
..
.claude-plugin 3c9bf4ff5d Add math-olympiad skill — adversarial verification for competition math 5 kuukautta sitten
skills c3f6d9e9fa Fix YAML frontmatter — quote description, replace colon with em-dash 5 kuukautta sitten
README.md 3c9bf4ff5d Add math-olympiad skill — adversarial verification for competition math 5 kuukautta sitten

README.md

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

/plugin install math-olympiad@claude-plugins-official

Use

> Solve this IMO problem: [statement]

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