AI 插件开发工具插件系统【免费下载链接】claude-plugins-officialOfficial, Anthropic-managed directory of high quality Claude Code Plugins.项目地址https://gitcode.com/GitHub_Trending/cl/claude-plugins-official点击查看免费下载本文聚焦于claude-plugins-official仓库中 math-olympiad 技能的核心求解参考文档 solver_heuristics.md。该文档为求解子代理solver subagent提供了一整套直接思路卡壳时该尝试什么的启发式招式清单覆盖 Pólya 通用策略、奥林匹克专项招式、几何专项招式、递推陷阱、√n/log n 型答案的识别以及证明完成后的复查清单。读完本文你将掌握如何为求解代理分配起始角度starting angle、如何在特例化—推广—反向推理—构造辅助元素之间切换策略以及如何把启发式与 SKILL.md 定义的多代理验证流程清洗证明、对抗验证、修订、演示优化无缝衔接。一、这份文档在技能中的位置math-olympiad 是一个针对 IMO、Putnam、USAMO、AIME 等竞赛数学题的 Claude Code 技能。其核心工作流详见 SKILL.md分八步解释校验 → 并行生成候选解内部迭代精化→ 清洗证明上下文隔离→ 对抗验证 → 排序投票 → 修订 → 校准式弃答 → 演示优化。solver_heuristics.md服务于第 2 步当主工作流并行启动 812 个尝试代理时每个代理需要一个不同的起始角度ANGLE。SKILL.md 中给出的起始角度清单——先做小案例越过 n3寻找不变量或单调量考虑极值情形尝试归纳有哪些对称性反向推导删除一个条件——它在哪一步变得平凡地为假推广发明者悖论——结构越多有时越容易——正是本文档各招式的直接引用SKILL.md 第 2 步中明确写着 Starting angles ... seereferences/solver_heuristics.md。因此这份文档不是泛泛的数学方法论而是技能内部分配并行求解算力的策略库它决定了 812 个代理各自从哪个方向进攻从而最大化覆盖不同解题路径。二、Pólya 核心招式源自《怎样解题》文档开门见山这些招式适用于直接思路卡壳the direct approach stalls的时刻。核心思想源自 George Pólya 的经典著作《How to Solve It》。1. 是否见过相关问题Have you seen a related problem?Not the same problem — one with the same UNKNOWN, or the same STRUCTURE.不是找同一个问题而是找未知量相同或结构相同的问题。文档给出了一个关键类比用直线覆盖点的问题与用算术级数覆盖格点的问题具有相同形状。这个招式提醒求解代理抽象出问题的形状shape而非死记题干才能在记忆/经验库中检索到可迁移的解法骨架。2. 特例化Specialize如果解不出给定问题就先手算 n3、n4、n5。模式往往就是证明本身the pattern is often the proof。文档特别强调了一个陷阱必须越过第一个非平凡情形测试——n≤3 可能是退化情形给出的模式具有误导性。这一告诫与验证模式库中的Pattern #17越过第一个非平凡块再测试完全对应verifier_patterns.md中以m1,2,3 时所有块秩为 1因为只有 1×2 块秩为 1 是被迫的而第一个 2×2 块出现在 m4恰在此处命题失败为例说明小案例通过可能只是因为退化。这与 attempt_agent.md 中严格 IMO 阅卷人模式的自验证哲学一脉相承正确结论来自错误推理同样是失败。3. 推广发明者悖论Inventors ParadoxThe more ambitious problem sometimes has MORE structure and is easier.更宏大的问题有时反而结构更多、更容易。对所有素数证明可能比对所有整数证明更难——因为整数情形有一个干净的归纳。这个反直觉招式的实战含义是当目标命题因约束过多而难以建立归纳时尝试放宽到更大的集合让归纳假设更丰富、更强。4. 删除一个条件Drop a conditionWhat happens if you relax one hypothesis? Does the result become trivially false? Where? That WHERE is often the key step.放松一个假设看看结论在哪里变得平凡地为假。那个WHERE往往就是关键步骤——它是该条件真正承重load-bearing的位置。这直接对应 SKILL.md 起始角度清单中的Drop a condition — where does it become trivially false?是一种快速定位哪个条件是证明的地基的诊断手段。5. 反向推导Work backwards从想要证明的结论出发倒推什么能推出它什么又能推出那个如果这条链遇到可以直接证明的命题就得到了反向书写的证明。这是构造性证明中最常见的思路之一——先确定充分条件链再正着写。6. 辅助元素Auxiliary element引入题目中不存在的对象——新变量、一个反射、一个精心选择的函数。文档特别指出奥赛几何几乎完全依赖这一招辅助点、辅助圆。找不到辅助点往往是几何题解不动的根本原因此招式要求求解代理主动制造额外结构。三、奥林匹克专项招式当问题涉及过程、变换、迭代或对称性时Pólya 通用招式之外还有一组竞赛数学专属动作招式核心动作适用信号寻找不变量Find the invariant如果有过程博弈、变换、迭代问什么量被保持奇偶性、和、模某个数的乘积游戏、变换、迭代类问题寻找极值对象Find the extremal取最大、最小、最左的对象。极值选择通常具备一般选择不具备的额外性质存在性/构造性问题双计数Double count用两种方式数同一个东西关联对、边、对子上的和组合计数、图论、等式证明染色/奇偶性Coloring / parity能否将对象二染色使命题变成奇偶性陈述覆盖、划分、博弈策略问题平滑/调整Smoothing / adjusting不等式问题把两个变量扰动得更接近或更远离表达式是增大还是减小然后取极值多元不等式对称性 → 不失一般性Symmetry → WLOG若问题关于 x,y,z 对称可假设 x≤y≤z但仅当结论也对称时才行对称多元问题其中对称性 → WLOG的唯一性条件值得强调如果结论不对称例如要求指出哪个变量取到最大值排序假设就会悄悄丢掉困难情形。这一告诫与 adversarial_prompts.md 中对抗验证器对每个 WLOG 是否真的保持了普遍性的检查完全一致。四、几何专项招式文档明确警告标准招式归纳、不变量、极值对奥赛几何往往是错形状的——它们难以作用于圆、外心、垂心这类对象。几何需要专用招式。文档的两节几何内容第二节标注these are DIFFERENT合并整理如下全部招式均需保留1. 坐标暴力Coordinate bash把图形放进坐标系坐标的选择要以消除自由度为目标原点取中心、轴沿某条线然后硬算代数。丑陋但可靠。文档给出了一个具体可复用的公式对两个圆圆心分别为 M、N半径 r、R设 M(0,0)、N(d,0)则两圆交点横坐标为(r²d²−R²)/2d其余一切由此推出。这是坐标选择本身即是解题策略的范例——把圆放在标准位置后交点计算退化为一个二次方程。2. 辅助点Auxiliary point引入题目中不存在的点——反射点、第二个交点、两条线应该相交的点。文档重复强调奥赛几何的关键构造常常就是找到那个正确的额外点。3. 圆幂定理Power of a point对任意点 P 与圆 ω过 P 的任一直线交圆于 A、B则PA·PB 恒定。用途把比例关系转成等式把圆换算成乘积。这几乎是所有涉及圆与切线的比例问题的原子工具。4. 螺旋相似 / 旋转Spiral similarity / rotation两个直接相似三角形由一个螺旋相似联系绕固定点的旋转缩放。找到那个固定点——它常常落在已经存在的某个圆上。这是处理两三角形相似但不在同一方向的标准机制。5. 反演Inversion当圆和相切关系很多时关于一个精心选择的中心作反演过中心的圆变成直线相切变成更简单的相切有时反演后的问题平凡到直接可解。文档在第二节能给出的最简形式Circles through the center become lines. Sometimes the inverted problem is trivial.6. 追角 / 圆内接四边形Angle chase / cyclic quads四点共圆当且仅当对角和为 π。追角直到足够多的等式迫使共圆成立。切线与弦的夹角等于对应的圆周角——围绕图形逐角追踪。五、递推专项陷阱双指数增长文档用一个醒目的警告收束递推类问题For recurrences like b_{n1} P(b_n) where P is polynomial degree ≥ 2:b_n grows doubly-exponentially. You cannot compute b_30 exactly — it has trillions of digits.当递推 b_{n1} P(b_n) 中 P 是次数 ≥2 的多项式时b_n 以双指数速度增长——b_30 就有数万亿位数字无法精确计算。对策从一开始就在 ℤ/2^m或 ℤ/p^m中工作通过对 n 的归纳证明 b_n ≡ r_n (mod 2^m)而不是去计算 b_n。这个陷阱在技能内部被反复强化SKILL.md 的工具策略一节明确写道一个双指数递推在 n~30 之后无法计算改为模 2^m 工作第 6c 节深度模式更是以真实 bug 为例A6 的 b_{n1}2b_n²b_n1b_99 有约 10^{2^98} 位数字并给出操作规则任何计算超过 60 秒几乎可以断定是无界的应当终止并转用符号化/模运算见 SKILL.md 第 6c 节。这条启发式的核心价值是让求解代理避免把数值计算误当证明步骤——正如求解提示词attempt_agent.md所强调的我算了 n1..10 且模式成立不是证明。六、当答案是 √n 或 log n 时对称选择往往是陷阱文档指出了答案含 √n 或 log n 时的深层结构规律These answers often come from a structure that is NOT the obvious/symmetric one. The diagonal, the identity, the natural choice frequently gives the WORST case, not the best.√n 或 log n 型答案通常来自非显而易见的非对称结构。对角、恒等、最自然的选择常常给出最坏情形而非最优——它把约束聚成一团阻止了大子结构的存在。文档按代理类型给出两条行动线纯推理求解代理在断言对称选择最优之前先问如果我故意打破对称呢——网格/覆盖问题中间隙分散而非聚集会怎样序列问题中极值序列不是常值或线性会怎样深度模式代理在理论化之前先暴力枚举 n3..8。如果拟合公式是 nc√n 而非 cn说明最优结构由 √n 大小的块构成。这条启发式与 known_constructions.md 中的分散 vs 聚集Spread vs cluster模式互为印证该文档指出当目标是在每行/每列至多一个的约束下最大化某对象的大小时对称放置使禁止区域成为连续带、只留下细条而把禁止位置分散开才能留下肥窗口。具体构造建议是分成 √n 组每组分配给一个模 √n 的剩余类组内倒序放置——这样任意连续的 √n 行/列的禁止位置都散布到所有剩余类中。若对 n2..8 的暴力枚举结果是 anb√nc 比 anb 拟合得更好就应寻找以 k√n 为参数、平衡两种竞争代价k 个对象、每个大小 n/k的构造。SKILL.md 第 6d 步非可选进一步说明这条启发式的流程地位任何在验证阶段弃答的问题都必须自动启动一个深度模式代理√n 或 log n 答案的问题对纯推理几乎不可见因为最优结构是非对称的——这正是该启发式被制度化到工作流中的原因SKILL.md 第 6d 步。七、证明完成后的复盘Look Back 阶段即使拿到了证明文档要求求解代理或演示代理完成四个复查动作能检查吗代入小情形——n3 是否符合公式给出的值能用不同方式证明吗第二个证明本身就是一次验证而且常常更短。界是紧的吗若证明了 ≤N 且答案恰为 N必须找到极值情形找不到说明你的界可能过松。实际用到了哪些假设有时你用的假设少于全部条件——真实定理比原命题更强。这四个问题在技能的演示优化阶段第 8 步被放大为 presentation_prompts.md 中的具体问题事后看来有没有三行证明是否有过度杀伤overkill——用了双指数构造而线性就够了哪些步骤只验证不照亮可见 Look Back 不只是正确性检查更是把发现的顺序重排成阅读的顺序的素材来源。八、把启发式接入求解-验证闭环solver_heuristics.md的招式并非孤立建议而是整个技能求解 → 对抗验证闭环的进攻侧输入并行差异化SKILL.md 要求 812 个尝试代理各自使用不同起始角度本文档的招式清单正是角度池的来源特例化、找不变量、极值、归纳、对称、反向、删条件、推广各占一路。内部精化循环每个代理按 attempt_agent.md 的流程在内部迭代——求解 → 自改进 → 以严格 IMO 阅卷人身份自验证区分致命错误与论证缺口→ 修正 → 再验证最多 5 轮连续两次自验证通过才停。启发式招式在这 5 轮中充当换角度重试的依据。验证端对称约束启发式中WLOG 仅当结论对称等告诫在 adversarial_prompts.md 的对抗验证器中被反向执行——验证器专门攻击每个 WLOG 是否丢掉了困难情形每个被引定理的假设是否真正满足对应 verifier_patterns.md 的 Pattern #5。算力预算分级不同模型代次对并求解器的数量有明确默认值Haiku 12 个、Sonnet 6 个、Opus 4 个详见 model_tier_defaults.md意味着启发式角度池在弱模型上需要铺得更宽在强模型上则可以更深地执行单一路线。九、总结一份卡壳时的手术清单综合来看solver_heuristics.md的价值在于把数学直觉操作化为一张可执行的分诊清单思路卡壳 → 先问有没有同未知量/同结构的相关问题再依次尝试特例化越过 n≤3、推广发明者悖论、删条件找承重点、反向推导、引入辅助元素遇到过程/变换/对称 → 换用不变量、极值、双计数、染色、平滑、对称→WLOG遇到几何 → 放弃通用招式改用坐标暴力、辅助点、圆幂、螺旋相似、反演、追角遇到多项式递推 → 警惕双指数增长直接模 2^m 归纳怀疑答案是 √n/log n →主动打破对称先暴力 n3..8 再看拟合拿到证明 → 执行Look Back 四问小情形检查、第二证明、界紧性、假设冗余。配合 SKILL.md 的上下文隔离验证与对抗模式库这套启发式让 Claude Code 的竞赛数学求解从单次碰运气变成多角度进攻 严格防守的工程化流程。对希望深入源码验证的读者建议按以下顺序阅读solver_heuristics.md招式库→ SKILL.md工作流编排→ attempt_agent.md代理内部迭代协议→ verifier_patterns.md验证模式库→ known_constructions.md构造模式与 √n 启发式互证。赞分享AI 插件开发工具插件系统【免费下载链接】claude-plugins-officialOfficial, Anthropic-managed directory of high quality Claude Code Plugins.项目地址https://gitcode.com/GitHub_Trending/cl/claude-plugins-official点击查看免费下载相关推荐Claude Code Math Olympiad 插件 Solver-Refiner Agent 提示词深度解析以纯推理三轮迭代构建可验证的竞赛数学证明Claude Code Math Olympiad 插件 Solver Refiner Agent 提示词深度解析以纯推理三轮迭代构建可验证的竞赛数学证明 AI 插件开发工具插件系统Claude Code Math Olympiad 插件的 Verifier Patterns13 种纯推理对抗验证模式全解Claude Code Math Olympiad 插件的 Verifier Patterns13 种纯推理对抗验证模式全解 导读 verifier_pattAI 插件开发工具插件系统Rufus终极指南Windows 11 LTSC 2024版绕过在线账户的完整解决方案Rufus终极指南Windows 11 LTSC 2024版绕过在线账户的完整解决方案 Rufus作为可靠的USB格式化工具在Windows 11 LTSC桌面应用开发工具创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考