プラグインOfficialmath
🏅math-olympiad
- 作者
- Anthropic
- ソース種別
- string
- ソース
- GitHub で見る ↗
説明
自己検証では見落としがちなエラーを検出するため、敵対的検証を用いて数学競技（IMO・Putnam・USAMO）の問題を解きます。 フレッシュなコンテキストを持つ検証エージェントが、特定の失敗パターンに着目して証明を徹底的に攻撃・検証します。 不確かな答えを強引に返すのではなく、適切な場面では回答を差し控える（棄権）ことで、信頼性の高い解答を提供します。
原文を表示
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.
ユースケース
- ✓数学競技の問題を解くとき
- ✓自己検証では見落としやすいエラーを検出したいとき
- ✓証明の信頼性を高めたいとき
同梱スキル（1）
原文・著作権は Anthropic および各プラグイン作者に帰属します。日本語訳は Claude API による自動翻訳です。