競技数学（国際数学オリンピック、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.
原文・著作権は Anthropic および各プラグイン作者に帰属します。日本語訳は Claude API による自動翻訳です。