math-olympiad — плагин для Claude Code: олимпиадная математика
Решает задачи уровня IMO, Putnam и USAMO и проверяет доказательства отдельными агентами, которые не видят ход рассуждений.
/plugin install math-olympiad@claude-plugins-official
/plugin marketplace add anthropics/claude-plugins-officialЧто делает math-olympiad
Плагин закрывает слабое место самопроверки: проверяющий, который видит рассуждение, склонен соглашаться с ним. Здесь верификатор получает только чистое доказательство, без трейса, и атакует его конкретными шаблонами ошибок — не вопросом «верно ли это?», а задачами вроде «не доказывает ли оно случайно гипотезу Римана?» или «выдели общую лемму и найди контрпример 2×2».
Если уверенного решения нет, плагин говорит об этом прямо, вместо того чтобы блефовать. После того как проверка пройдена, отдельный проход собирает аккуратную вёрстку в LaTeX или PDF.
Скилл включается сам на слова «IMO», «Putnam», «olympiad», «verify this proof». Установка идёт из официального маркетплейса Anthropic, лицензия Apache-2.0.
Какие задачи решает
- проверить олимпиадное доказательство на скрытые дыры
- получить чистое LaTeX-оформление решения после проверки
- отличить настоящее решение от правдоподобного блефа
- разобрать задачу уровня IMO или Putnam по шагам
- найти контрпример к слишком общей лемме
Примеры запросов агенту
- Реши эту задачу IMO: [условие]
- Проверь это доказательство: [текст]
- Это задача уровня Putnam, оформи решение в LaTeX
Как установить math-olympiad
Через маркетплейс плагинов
/plugin install math-olympiad@claude-plugins-official/plugin marketplace add anthropics/claude-plugins-officialПо шагам, с командами для каждой платформы: Плагины Claude Code: маркетплейсы, установка и как собрать свой
Вопросы о math-olympiad
Как установить math-olympiad в Claude?
Сначала добавьте маркетплейс: /plugin marketplace add anthropics/claude-plugins-official, затем установите плагин: /plugin install math-olympiad@claude-plugins-official.
Что делает math-olympiad?
Решает задачи олимпиадной математики и проверяет доказательства агентами в изолированном контексте, которые ищут конкретные типы ошибок. При отсутствии уверенного ответа сообщает об этом вместо блефа.
Чем проверка здесь отличается от обычной самопроверки?
Верификатор видит только чистое доказательство, без хода рассуждений, поэтому не смещён в сторону согласия. Проверки идут по шаблонам ошибок, а не общим вопросом о корректности.
Исходный текст
math-olympiad · Apache-2.0
# 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](https://github.com/anthropics/anthropic/tree/staging/sandbox/sandbox/ralph/math_skills/eval_harness).
## 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.
© Anthropic · Apache-2.0 · anthropics/claude-plugins-official
