math-proof
兩項處理困難數學題的技能,皆產出獨立完整的 proof.md:/math-proof:solo 讓工作階段搭配筆記檔分階段自行解題;/math-proof:siege 以評審與工作子代理輪流投入數小時,並明確說明哪些已證明、哪些尚未證明。
安裝
尚未加入官方市場時先執行
- 分類
- 數學
- 作者
- Anthropic
適合用來
- 處理研究等級的困難數學問題,最後產出獨立完整的 proof.md
- 用 /math-proof:solo 在目前工作階段分階段解題,並寫筆記檔
- 用 /math-proof:siege 讓評審與工作子代理多輪攻題數小時
- 取得明確說明哪些已證明、哪些尚未證明的狀態段落
怎麼開始
- 在 Claude Code 執行 /plugin install math-proof@claude-plugins-official
- 先試較輕量的 /math-proof:solo,並完整寫出題目
- 若需要更強的嘗試再用 /math-proof:siege,開始前先用 /usage 檢查用量
- 完成後批判性地閱讀 proof.md,引用的文獻結果是憑記憶寫出
使用前須知
siege 會執行數十次、全部十四輪時超過一百次子代理,用量很大;用 API 金鑰時可在無人值守模式加 --max-budget-usd 限制花費。執行期間會關閉 Claude Code 的網路工具。
以上由 AI 依據專案說明整理,實際用法請以官方文件為準。
相關新聞
- 研究
Anthropic研發AI數學證明确認無Bug
Anthropic開發新技術,利用AI進行形式驗證,數學上證明軟體無Bug。該方法旨在實現「無Bug軟體」,應對AI高產量程式帶來的錯誤。
同類工具
- math-olympiad官方外掛 · 數學
解決競賽數學題(IMO、Putnam、USAMO),以對抗式驗證找出自我驗證遺漏的錯誤:由全新脈絡的驗證者針對特定失敗模式檢驗證明,寧可審慎放棄也不虛張。
出處 anthropics/claude-plugins-official · 更新於 2026年10月11日 · 版權屬原作者