Math Olympiad
Résout des olympiades avec vérification contradictoire sans bluffer
Installation
OfficielleClaude 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
- Auteur
- Anthropic
Dans les problèmes d’olympiade, le risque majeur est une démonstration convaincante mais fausse, précisément le type d’erreur que l’auto-vérification détecte mal. Ce plugin confie la preuve à des vérificateurs disposant d’un contexte vierge, chargés de l’attaquer selon des schémas d’échec connus, et préfère un « je ne peux pas le démontrer » bien calibré à une fausse preuve affirmée avec assurance. Le principe se généralise : l’essentiel réside dans la séparation entre celui qui résout et celui qui doute.
Compétences similaires
Performance Optimization
CompétenceMesure, corrige le vrai goulot d’étranglement, puis remesure
Error Handling Patterns
CompétenceDistingue les échecs à traiter des exceptions à lever
Learning Output Style
CompétenceRend la main aux moments décisifs au lieu de tout écrire
Commentaires(0)
Connectez-vous pour commenter