Mathmatika
Eine KI-Mathe- und DSA-Lernplattform. Streaming-Erklärungen mit KaTeX-gerenderten Formeln, On-Demand Manim-Animationsvideos, RAG über hochgeladene PDFs und ein Echtzeit-Voice-Mentor — alles auf einem einzigen LLM.
Was es ist
Mathmatika ist eine KI-Mathe- und DSA-Lernplattform, entwickelt bei Synara. Studenten laden PDFs hoch, stellen Fragen und bekommen Streaming-Erklärungen mit KaTeX-Formeln, KI-generierte Manim-Animationsvideos und einen Echtzeit-Voice-Mentor — alles über Anthropic Claude mit adaptivem Thinking.
Was daran interessant ist
Der Manim-Video-Generator ist der ungewöhnliche Teil: Claude schreibt Manim-Python, wir validieren es, rendern per Subprozess, parsen stderr bei Fehlern und bitten Claude um Korrektur — bis zu zweimal — bevor wir auf ein kuratiertes Template zurückfallen. SHA-256-Cache pro Konzept, sodass ein Video nur einmal gerendert wird. Wir wählten In-Memory BM25Plus für RAG statt einer Vektordatenbank.
Stack & Infra
Next.js 15 Frontend auf Vercel; FastAPI-Backend auf Python 3.12+, deployed via Docker auf einer GCP-VM. Anthropic Claude als einziger LLM-Provider. Exa für Live-Web-Recherche. LiveKit + Deepgram für den Echtzeit-Voice-Mentor.
Status
Fortgeschrittener Prototyp. Voice-Mentor, Streaming-Chat und PDF-RAG sind stabil; die Manim-Render-Pipeline ist die nächste Baustelle.