math-proof
難しい数学問題向けの 2 つのスキル。どちらも自己完結した proof.md を出力。/math-proof:solo はセッション自身がノートファイルを使って段階的に解き、/math-proof:siege は審査役と作業役のサブエージェントによるラウンドで数時間取り組み、何が証明済みで何が未証明かを明示。
導入
公式マーケットプレイスが未追加なら先に実行
- カテゴリ
- 数学
- 作者
- Anthropic
こんな用途に
- 研究レベルの難しい数学問題に取り組み、自己完結した proof.md を作る
- /math-proof:solo で現在のセッションが段階的に解き、ノートファイルに記録する
- /math-proof:siege で判定役と作業役のサブエージェントを数時間ラウンド実行する
- 何が証明済みで何が未証明かを明記した Status セクションを得る
始め方
- Claude Code で /plugin install math-proof@claude-plugins-official を実行する
- まず軽い /math-proof:solo を、問題文を完全に書いて試す
- 必要なら /math-proof:siege を使う。開始前に /usage で使用量を確認する
- proof.md は批判的に読む。文献の引用は記憶に基づくもの
導入前に
siege は数十回、全14ラウンドなら百回以上のサブエージェントを実行します。API キー利用時は無人実行形式で --max-budget-usd により上限を設定できます。実行中は Web ツールが無効になります。
プロジェクトの説明をもとに AI がまとめました。利用前に公式ドキュメントをご確認ください。
関連ニュース
- 研究
AnthropicがAIでバグなしを数学的に証明する手法を開発
AnthropicがAIを用いて形式検証を行い、ソフトウェアにバグがないことを数学的に証明する手法を開発。これは「バグのないソフトウェア」の実現を目指し、AI生成コードの大量発生に伴う誤りに対応するもの。
似たツール
- math-olympiad公式プラグイン · 数学
競技数学（IMO、Putnam、USAMO）を、自己検証では見逃す誤りを捉える敵対的検証で解く。新しいコンテキストの検証者が特定の失敗パターンで証明を攻撃。はったりより適切な回答保留を優先。
出典 anthropics/claude-plugins-official · 更新日 2026年10月11日 · 著作権は各作者に帰属します