Mathmatika
Una plataforma de aprendizaje de matemáticas y DSA con IA. Explicaciones en streaming con fórmulas KaTeX, videos de animación Manim bajo demanda, RAG sobre PDFs subidos, y un mentor de voz en tiempo real — todo sobre un solo LLM.
Qué es
Mathmatika es una plataforma de aprendizaje de matemáticas y DSA con IA construida en Synara. Los estudiantes suben PDFs, hacen preguntas y reciben explicaciones en streaming con fórmulas KaTeX, videos de animación Manim generados por IA, y un mentor de voz en tiempo real — todo respaldado por Anthropic Claude con thinking adaptativo.
Qué tiene de interesante
El generador de videos Manim es la parte inusual: pedimos a Claude que escriba Python Manim, lo validamos, renderizamos vía subprocess, parseamos stderr en caso de fallo, pedimos a Claude que lo corrija — hasta dos veces — antes de caer en una plantilla curada. Caché SHA-256 por concepto, así un video se renderiza solo una vez. Elegimos BM25Plus en memoria para RAG en lugar de una base vectorial.
Stack e infra
Frontend Next.js 15 en Vercel; backend FastAPI sobre Python 3.12+, desplegado vía Docker en una VM de GCP. Anthropic Claude es el único proveedor LLM. Exa para búsqueda web en vivo. LiveKit + Deepgram para el mentor de voz en tiempo real.
Estado
Prototipo avanzado. Mentor de voz, chat streaming y RAG de PDFs son estables; la pipeline de renderizado Manim es lo siguiente a endurecer.