Math Olympiad
Yarışma matematiği: karşıt doğrulama ve blöf yerine ölçülü çekimserlik.
Kurulum
ResmiClaude 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
- Geliştirici
- Anthropic
Olimpiyat sorularında tehlikeli hata, iyi okunan ama yanlış olan ispat; kendi kendini doğrulama da tam olarak onları kaçırıyor. Bu eklenti ispatı, bilinen hata örüntüleri boyunca saldırması söylenmiş, temiz bağlamlı doğrulayıcılara gönderiyor ve kendinden emin sahte bir ispat yerine ölçülü bir "bunu gösteremiyorum" cevabını tercih ediyor. Tasarım genelleşebilir: ilginç kısım çözücüyle şüphecinin ayrılması.
Benzer skill'ler
Performance Optimization
SkillÖnce ölçer, kanıtlanan darboğazı düzeltir, sonra yeniden ölçer.
Error Handling Patterns
SkillHangi hatanın dönüş değeri, hangisinin istisna olacağını karara bağlar.
Learning Output Style
SkillKarar noktalarında klavyeyi geri veren, her şeyi kendi yazmayan etkileşimli kip.
Yorumlar(0)
Yorum yapmak için giriş yap