مهارة
Math Olympiad
رياضيات تنافسية بتحقق صارم وامتناع محسوب بدل الادعاء
التثبيت
رسميةClaude 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
تتطلب أدوات
ReadWrite
- المؤلف
- Anthropic
أخطر إخفاق في مسائل الأولمبياد هو برهان يبدو مقنعًا لكنه خاطئ، وغالبًا لا يكتشف التحقق الذاتي هذه الأخطاء تحديدًا. ترسل هذه الإضافة البرهان إلى مدقّقين بسياقات مستقلة، وتطلب منهم مهاجمته وفق أنماط الإخفاق المعروفة، كما تفضّل قول «لا أستطيع إثبات ذلك» بدقة على تقديم حجة واثقة لا ترقى إلى برهان. ويمكن تعميم هذا التصميم؛ فجوهره هو الفصل بين من يحل المسألة ومن يشكك في الحل.
مهارات مشابهة
Performance Optimization
مهارةقِس أولًا، أصلح عنق الزجاجة المثبت، ثم أعد القياس
مسارات عمل البرمجة
Error Handling Patterns
مهارةيحدد الإخفاقات التي تُعامل كقيم وتلك التي تُعامل كاستثناءات
مسارات عمل البرمجة
Learning Output Style
مهارةوضع تفاعلي يعيد إليك لوحة المفاتيح عند نقاط اتخاذ القرار
مسارات عمل البرمجة

التعليقات(0)
سجّل الدخول للتعليق