الأدوات والنموذج
أدوات تعمل في المتصفّح يمكنك استخدامها اليوم، و Kudos-1 - نموذج الاستدلال الذي نبنيه للرياضيات وتعلّم الآلة.
أدوات مجانية
أدوات تعمل بالكامل على جهازك. لا يُرفع أي ملف تفتحه إلى أي مكان.
حاسبة المعدّل الأساسي
أدخل نسبة الانتشار والحساسية ومعدّل الإيجابيات الكاذبة لترى ما تساويه النتيجة الإيجابية فعلًا - كاحتمال، وكعدد أشخاص من كل عشرة آلاف.
حاسبة الإنتروبيا والمعلومات
حرّر توزيعين جنبًا إلى جنب واقرأ الإنتروبيا والإنتروبيا التقاطعية وتباعد KL بالبِتّات، مع إبقاء المتطابقة H(p, q) = H(p) + KL(p ‖ q) ظاهرة على الشاشة.
مستكشف مقاييس التصنيف
حرّك عتبة القرار عبر مجتمع غير متوازن وراقب الدقة والاستدعاء وF1 ونقطة ROC تتحرك معها - بما في ذلك الحالة التي تبدو فيها الصحّة ممتازة بينما النموذج عديم الفائدة.
مستكشف أوزان الانتباه
حرّر متجه الاستعلام وشاهد انتباه الجداء القياسي المُقيَّس وهو يتحوّل إلى أوزان سوفت‑ماكس ثم إلى مجموع موزون، مع درجة الحرارة والقسمة على √dₖ كمفتاحين يمكنك تبديلهما.
محاكي فترات الثقة
اسحب ثلاثين عينة، وكوّن فترة ثقة من كل منها، ثم عُدّ كم منها يغطي القيمة الحقيقية - أوضح طريقة لإدراك أن مستوى الثقة يصف الإجراء، لا أي فترة بعينها.
مستكشف الانحياز والتباين
غيّر تعقيد النموذج وحجم العينة لترى خطأ التدريب يتناقص باطّراد بينما ينعطف خطأ الاختبار صعودًا، مُفكَّكًا إلى انحياز وتباين وضوضاء غير قابلة للاختزال.
مستكشف التوزيعات
غيّر معاملات التوزيعات التي تتكرّر في هذه المادة وراقب استجابة الشكل والمتوسط والتشتّت.
مستكشف الأرجحية العظمى
حرّك معاملًا على امتداد منحنى اللوغاريتم الأرجحي لعيّنة ثابتة وشاهد التوزيع المُطابَق يتبعه، مع وقوع الذروة تمامًا عند مُقدِّر الأرجحية العظمى.
مخطّط الدراسة
اختر هدفاً - الأسس أو الطرق الموجَّهة أو الذكاء الاصطناعي الحديث - واحصل على خطة هذا الموقع المرتّبة لبلوغه: أي مسار تسلك في كل مرحلة، وماذا تقرأ إلى جانبه، وكم تستغرق الدروس.
Kudos-1
معظم النماذج ستجيب عن سؤال رياضي. وأقلّ منها بكثير من سيُريك الاشتقاق، ويسمّي الافتراض الذي اتّكأ عليه، ويخبرك أين ينهار. وKudos-1 يُبنى للأمر الثاني: نموذج يستدلّ عبر خطوات يمكنك فحصها، ويستشهد بالنتيجة التي يستدعيها، ويقول صراحةً حين يقع سؤال خارج ما يستطيع تبريره. وهو مدرَّب على المادة نفسها التي يعلّمها هذا الموقع، فيمكن تتبّع أي شرح يقدّمه رجوعاً إلى مقالة أو مدخل موسوعي أو كتاب في المكتبة.
القدرات
اشتقاقات خطوةً خطوة
يمضي بالنتيجة من الافتراضات المذكورة إلى الخلاصة، مُظهراً الجبر الوسيط بدل تقرير السطر الأخير.
فحص البراهين والحجج
يقرأ حجّةً مقترحة ويحدّد أول خطوة لا تلزم، بدل الحكم عليها بالصواب أو الخطأ جملةً.
نقد النموذج
بمعلومية إعداد نمذجة، يسمّي الافتراضات التي يعتمد عليها والشروط التي تكفّ عندها استنتاجاته عن الصمود.
من الكود إلى الرياضيات
يقرأ تنفيذاً برمجياً ويستعيد الرياضيات التي يرمّزها، فتُقارَن حلقة تدريب بالهدف الذي تزعم تحسينه.
تدريس سقراطي
يشخّص المتطلّب السابق الذي ينقص المتعلّم ويعلّمه إياه، بدل إعادة الجواب الأصلي بوتيرة أبطأ.
الأسس
- استدلال قابل للتحقّق. يُخرَج كل اشتقاق خطواتٍ منفصلة قابلة للفحص لا نثراً يبدو كبرهان، حتى يجد القارئ السطر الذي تنحرف عنده الحجّة بالضبط.
- مؤسَّس على مكتبة حقيقية. تُربط الأجوبة بالنصوص المرجعية التي يقوم عليها هذا الموقع وتستشهد بها، بدل استعادة صياغة نصف محفوظة لمبرهنة.
- لايقين معاير. ينبغي أن تتابع الثقة المعلَنة مدى إصابة النموذج فعلاً. وقول «لا أستطيع تبرير هذا» يُعامَل جواباً صحيحاً لا إخفاقاً.
المبادئ
- الامتناع لا الاختلاق. النموذج الذي يختلق مبرهنة معقولة أسوأ من النموذج الذي يمتنع. وKudos-1 يُدرَّب على تفضيل ثغرة صادقة على تخمين واثق.
- تقييم مفتوح. تُنشر مقاييس التقييم وحالات الإخفاق إلى جانب النتائج. والدعاوى عمّا يستطيعه النموذج ينبغي أن تكون قابلة لإعادة الإنتاج من كل من أراد التحقّق.
- التعليم لا الإجابة. مقياس النجاح هو أن يفهم القارئ النتيجة بعد ذلك، لا أن تُسلَّم الإجابة بسرعة.