انتقل إلى المحتوى
↑↓للتنقل↵للفتحescللإغلاق
Claude+372Whisper+228LangChain+168Codex+223NotebookLM+276DALL-E 3+192DeepL+249n8n+208Topaz Video AI+153LlamaIndex+161
Math Olympiad logo
مهارة

Math Olympiad

رياضيات تنافسية بتحقق صارم وامتناع محسوب بدل الادعاء

0
حفظزيارة الموقع ↗

التثبيت

رسمية
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

أخطر إخفاق في مسائل الأولمبياد هو برهان يبدو مقنعًا لكنه خاطئ، وغالبًا لا يكتشف التحقق الذاتي هذه الأخطاء تحديدًا. ترسل هذه الإضافة البرهان إلى مدقّقين بسياقات مستقلة، وتطلب منهم مهاجمته وفق أنماط الإخفاق المعروفة، كما تفضّل قول «لا أستطيع إثبات ذلك» بدقة على تقديم حجة واثقة لا ترقى إلى برهان. ويمكن تعميم هذا التصميم؛ فجوهره هو الفصل بين من يحل المسألة ومن يشكك في الحل.

التعليقات(0)

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

لا توجد تعليقات بعد، كن أول من يعلّق.

مهارات مشابهة

الإبلاغ عن هذا التعليق

لماذا تُبلغ عن هذا؟