Un skill pour les maths de compétition qui évite l'auto-vérification biaisée. Les vérificateurs ne voient que la preuve propre, pas la trace de raisonnement. Il s'abstient plutôt que de bluffer.
Ce qu'il fait
Où Math Olympiad s'exécute et ce qu'il ajoute, d'après sa documentation
Vérification des preuves en contexte isolé
Contrôles adversariaux armés de motifs connus
Abstention calibrée plutôt que bluff
Passe de présentation produisant du LaTeX/PDF après vérification
Quand l'utiliser
Bonne adéquation
Résoudre des problèmes de type IMO, Putnam ou USAMO
Vérifier une preuve
Pas pour
Les questions exigeant une réponse assurée sur chaque problème ; il peut indiquer qu'il n'a pas de solution fiable
Outil de codage agentique d'Anthropic qui lit votre base de code, modifie des fichiers et exécute des commandes depuis le terminal, les IDE ou le navigateur.
La gratuité s'arrête à : Pas d'offre gratuite : Claude Code est inclus dans les abonnements Claude payants (Pro, Max, Team, Enterprise…
