Mathmatika
AI を活用した数学・DSA 学習プラットフォーム。KaTeX レンダリングの数式付きストリーミング解説、オンデマンドの Manim アニメーション動画、PDF への RAG、リアルタイム音声メンター — すべて単一の LLM 上で動作。
これは何か
Mathmatika は Synara で構築された AI 数学・DSA 学習プラットフォームです。学生が PDF をアップロードし質問すると、KaTeX レンダリングの数式付きストリーミング解説、AI 生成の Manim アニメーション動画、リアルタイム音声メンターが返ってきます — すべて Anthropic Claude（adaptive thinking 付き）が裏側で動作します。
注目すべき点
Manim 動画ジェネレーターが特徴的です。Claude に Manim Python を書かせ、検証し、サブプロセスでレンダリング、失敗時は stderr をパースして Claude に修正を依頼 — 最大 2 回まで — その後キュレーション済みテンプレートにフォールバック。コンセプトごとに SHA-256 でキャッシュするため、同じ動画は 1 度しかレンダリングされません。RAG はベクター DB ではなくインメモリの BM25Plus を採用しました。
スタックとインフラ
Vercel 上の Next.js 15 フロントエンド、Python 3.12+ の FastAPI バックエンドを Docker 経由で GCP VM にデプロイ。LLM プロバイダーは Anthropic Claude 一本。Exa でリアルタイムウェブ検索、LiveKit + Deepgram でリアルタイム音声メンター。
ステータス
高度なプロトタイプ段階。音声メンター、ストリーミングチャット、PDF RAG は安定稼働中。Manim レンダリングパイプラインが次の重点強化対象です。