Mathmatika

منصة تعلّم رياضيات وهياكل بيانات مدعومة بالذكاء الاصطناعي. شروحات بثّية بصيغ KaTeX، فيديوهات Manim عند الطلب، RAG على ملفات PDF مرفوعة، ومرشد صوتي فوري — كلّها على نموذج لغوي واحد.

اسم العميلSynara product
الخدمةتدريس بالذكاء الاصطناعي & فيديو
Mathmatika AI math tutoring platform — streaming explanations, KaTeX formulas, on-demand Manim animation videos, and a realtime voice mentor.

ما هي

Mathmatika منصة تعلّم رياضيات وهياكل بيانات بالذكاء الاصطناعي مبنية في Synara. يرفع الطلاب ملفات PDF، ويطرحون أسئلة، ويحصلون على شروحات بثّية بصيغ KaTeX، وفيديوهات Manim مولّدة بالذكاء الاصطناعي، ومرشد صوتي فوري — كلّها مدعومة بـ Anthropic Claude مع التفكير التكيّفي.

ما المميز فيها

مولّد فيديوهات Manim هو الجزء غير المعتاد: نطلب من Claude كتابة Manim Python، نتحقّق منه، نُصيّره عبر subprocess، نحلّل stderr عند الفشل، ونطلب من Claude تصحيحه — حتى مرّتين — قبل الرجوع إلى قالب منسّق. تخزين مؤقت بـ SHA-256 لكل مفهوم، فيُصيَّر الفيديو مرّة واحدة فقط. اخترنا BM25Plus في الذاكرة لـ RAG بدلاً من قاعدة بيانات متّجهة.

التقنيات والبنية

واجهة Next.js 15 على Vercel؛ خادم FastAPI على Python 3.12+، منشور عبر Docker على VM في GCP. Anthropic Claude هو مزوّد LLM الوحيد. Exa للبحث المباشر على الويب. LiveKit + Deepgram للمرشد الصوتي الفوري.

الحالة

نموذج أوّلي متقدّم. المرشد الصوتي والدردشة البثّية و RAG على PDF مستقرّون؛ خط إنتاج Manim هو الحافّة الخشنة التي نعمل على تقويتها.

Mathmatika interface — streaming math explanation with formula rendering.
Mathmatika interface — generated Manim animation playing alongside the tutoring chat.