Math Olympiad
Matematica da gara con verifica ostile e rinuncia calibrata
Installazione
UfficialeClaude Code: /plugin marketplace add anthropics/claude-plugins-official → /plugin install math-olympiad@claude-plugins-official
IMO, Putnam ya da USAMO düzeyinde bir problem ispatla çözülürken
- Autore
- Anthropic
Nei problemi olimpici, il rischio maggiore è una dimostrazione convincente ma errata, proprio il tipo di errore che l'autoverifica tende a non rilevare. Questo plugin invia la dimostrazione a verificatori con un contesto nuovo, incaricati di attaccarla seguendo schemi di errore noti, e preferisce un calibrato «non riesco a dimostrarlo» a una non-dimostrazione espressa con sicurezza. Il principio è generalizzabile: il punto centrale è separare chi risolve da chi mette in dubbio.
Skill simili
Performance Optimization
SkillPrima misura, poi corregge il collo di bottiglia e misura di nuovo
Error Handling Patterns
SkillStabilisce quali errori sono valori e quali sono eccezioni
Learning Output Style
SkillRestituisce il controllo nei punti in cui serve decidere
Commenti(0)
Accedi per commentare