التحقّق
يطمح The Lumenary إلى أن يكون أجدر بالثقة من المواد العادية المولَّدة بالذكاء الاصطناعي. تعرض هذه الصفحة بدقة ما فُحص، وبأي وسيلة، وما لم يُفحص.
البراهين الصورية (Lean)
التصريحات المُصرَّفة باستخدام leanprover/lean4:v4.35.0: 88؛ المعتمدة منها على sorry: 0. التي تطبّق مبرهنة من المكتبة: 3، والمُبرهَنة هنا: 59، والتعريفات: 26.
أُنشئ في 2026-10-28 06:13
المختبر الصوري →التجارب الحاسوبية (Python)
التجارب التي شُغّلت ونجحت في اختباراتها: 12 من 12. pytest: نجح 571، وفشل 0.
Python 3.10.12 · sympy 1.13.3 · mpmath 1.3.0 · numpy 2.2.5 · pytest 8.3.5 · أُنشئ في 2026-10-28 06:13
التحقّق من صحة المحتوى
الفحوص الآلية الناجحة: 105، والفاشلة: 0 (بُنى البيانات، ومخطط المتطلبات السابقة، والسجلات، والترجمات، وتحليل الإجابات).
فحوص شاملة في المتصفح (ست لغات، التمارين، المخطط، بيئة Python المعزولة): نجح 15، وفشل 0.
أُنشئ في 2026-10-28 06:16
المراجعة البشرية
لم يراجع أي عالم رياضيات أو مربٍّ أو مترجم بشري مؤهَّل أيَّ درس أو ترجمة أو تمرين بعد. ولا يُعَدّ اتفاق أنظمة الذكاء الاصطناعي فيما بينها دليلًا على الصحة.
| التجربة | الدليل | الحالة |
|---|---|---|
| Cantor's diagonal trick on a finite list | حساب دقيق | نجح |
| Clock arithmetic: which residues have inverses? | فحص شامل لحالات منتهية, حساب دقيق | نجح |
| Sorting and counting a market basket | حساب دقيق, فحص شامل لحالات منتهية | نجح |
| Composing functions: associative, but order matters | فحص شامل لحالات منتهية, مثال مضاد | نجح |
| Counting functions, injections and surjections | فحص شامل لحالات منتهية, حساب دقيق | نجح |
| Forty primes in a row, then a counterexample | دليل تجريبي, مثال مضاد | نجح |
| Exact versus numerical: 0.1 + 0.2 and the square root of 2 | تقريب عددي, حساب دقيق, حساب رمزي | نجح |
| Hunting for inverses in the integers and the rationals | دليل تجريبي, حساب دقيق | نجح |
| Does a random walk come home? Statistical evidence | دليل إحصائي, حساب دقيق | نجح |
| Remainder families: residue classes that add up | فحص شامل لحالات منتهية, مثال مضاد | نجح |
| Checking set identities exhaustively | فحص شامل لحالات منتهية, مثال مضاد | نجح |
| Negative times negative: grid, symbols and proof | دليل تجريبي, حساب رمزي | نجح |
القيود المعروفة
- لا يوجد سوى خمسة دروس وسبعة من مسارات الدهشة؛ وكل موضوع آخر مُخطَّط له.
- تستخدم براهين Lean نواة Lean 4 فقط؛ ودمج Mathlib مُخطَّط له.
- بيئة تشغيل Pyodide (في المتصفح) وبيئة اختبار CPython إصداران مختلفان من Python؛ فُحصت التجارب للتأكد من أنها تطبع مُخرَجات متطابقة، لكن هذا الفحص ليس مؤتمتًا بعد.
- لم يُجرَ أي تدقيق لإمكانية الوصول.
- تحتوي سجلات اللغات والبلدان على مدخلات معلَّمة للمراجعة.
مجالات تتطلّب مراجعة بشرية
- كل درس ومسار وتمرين وحل (الدقة الرياضية)
- ملاءمة المحتوى للعمر والجانب التربوي، ولا سيما مواد الروضة–الصف الثاني والصفوف 3–5
- الادعاءات والإسنادات التاريخية
- جميع الترجمات المصاغة آليًا ومسارد المصطلحات
- مدخلات السجل الموسومة بـ«تحتاج إلى مراجعة»
- مواضع الموضوعات وأضلاع المتطلبات السابقة في خريطة المنهج