kylearn
← 返回常用skill
研究与学习29k

math-olympiad

解 IMO/Putnam/USAMO/AIME 竞赛数学题,并用对抗式验证捕捉自检遗漏的错误

🔥 出自合集 anthropics/claude-plugins-official(29.3k stars)

它能帮你做什么

纯推理解竞赛数学题(不用工具),再由一个全新上下文的对抗验证器按特定失败模式攻击证明,而非泛泛'检查逻辑'。输出校准过的置信度,宁可说'没有有把握的解'也不硬编;若有 LaTeX 则产出干净 PDF。

怎么装它

帮我安装这个 skill: https://github.com/anthropics/claude-plugins-official/tree/main/plugins/math-olympiad/skills/math-olympiad

复制这句话,发给你的 Claude Code / Codex 等 AI Agent,它会自动帮你装好。

源码 / 详情:https://github.com/anthropics/claude-plugins-official/tree/main/plugins/math-olympiad/skills/math-olympiad

怎么用它

装好后,在 AI Agent 里直接说下面任意一句就能唤起它(点一下可复制):

solve this IMO problem
prove this olympiad inequality
verify competition proof
find a counterexample
olympiad