Mathmatika
Une plateforme d'apprentissage IA pour les maths et la DSA. Explications en streaming avec formules KaTeX, vidéos d'animation Manim à la demande, RAG sur PDFs téléversés, et mentor vocal en temps réel — le tout sur un seul LLM.
Ce que c'est
Mathmatika est une plateforme d'apprentissage IA pour les maths et la DSA construite chez Synara. Les étudiants téléversent des PDFs, posent des questions et reçoivent des explications en streaming avec formules KaTeX, des vidéos d'animation Manim générées par IA, et un mentor vocal en temps réel — tout via Anthropic Claude avec thinking adaptatif.
Ce qui est intéressant
Le générateur de vidéos Manim est la partie inhabituelle : Claude écrit du Python Manim, on le valide, on rend via subprocess, on parse stderr en cas d'échec, on demande à Claude de corriger — jusqu'à deux fois — avant de retomber sur un template curé. Cache SHA-256 par concept, donc une vidéo n'est rendue qu'une fois. Nous avons choisi BM25Plus en mémoire pour le RAG plutôt qu'une base vectorielle.
Stack & infra
Frontend Next.js 15 sur Vercel ; backend FastAPI sur Python 3.12+, déployé via Docker sur une VM GCP. Anthropic Claude est le seul fournisseur LLM. Exa pour la recherche web. LiveKit + Deepgram pour le mentor vocal en temps réel.
Statut
Prototype avancé. Le mentor vocal, le chat streaming et le RAG PDF sont stables ; la pipeline de rendu Manim est en cours de durcissement.