math-olympiad

math-olympiad とは？

このスキルは、AIエージェント（Claude Code、Cursor、Codexなど）が数学オリンピアードの問題を効率的に解決するための専門的な機能を提供します。代数、幾何、数論、組合せ論といった主要な分野をカバーし、証明の記述、反例の探索、定理の適用など、高等数学の解法を体系的に支援します。特に、複雑な問題を論理的なステップに分解し、厳密な証明を生成する能力が強化されており、数学的な推論を必要とするタスクに有用です。また、問題文の解析から解答の検証まで、一貫したワークフローをサポートします。