The Socratic AI Tutor That Proves Every Step.
No answer dumping. No hallucinations. TryTuition combines SymPy deterministic computer algebra with real-time Socratic voice dialogue to cultivate true mathematical mastery.
SymPy CAS verification latency
Deterministic step proof (0 hallucination)
Dual-aligned: US CCSS & India CBSE
Bayesian Knowledge Tracing mastery
Test the SymPy CAS Verifier Live
Unlike generative LLMs that make educated guesses about algebra, TryTuition checks every line of math against formal algebraic invariants in under 50ms.
Mathematically Equivalent Step
Execution latency: 24ms • Non-reentrant SymPy ASTWhy TryTuition Transcends LLMs and Video Libraries
Most edtech either dumps answers without comprehension or strands students in passive video loops. Here is how our architecture breaks the mold.
| Pedagogical Dimension | Generic LLM Chat(ChatGPT / Claude) | Passive Video(Khan Academy) | TryTuition ITS |
|---|---|---|---|
| Mathematical Accuracy | Hallucinates intermediate steps; no formal proof or guarantee. | Fixed pre-recorded examples; no real-time evaluation. | Deterministic SymPy CAS verification (<50ms budget). |
| Pedagogical Stance | Divulges answers immediately; functions as a homework cheat engine. | Passive video watch-time; cultivates illusion of competence. | Strict Socratic questions (≤ 25 words per turn during derivations). |
| Scaffolding Architecture | Binary right/wrong answers or overwhelming text walls. | Linear video scrub bar; no diagnostic branching. | 4-tier progressive scaffolding ladder (Level 0 Nudge to Level 3 Analogy). |
| Mastery Tracking | None; ephemeral chat threads that forget mastery states. | Simple quiz percentages and watched-minute metrics. | 4-parameter Bayesian Knowledge Tracing (BKT) on canonical CKG DAG. |
| Voice & Whiteboard | Unsynchronized text or generic text-to-speech audio. | Static playback; zero interactive canvas. | Gemini 3.8 Live bidirectional WebRTC audio + synchronized tldraw. |
The 4-Tier Socratic Scaffolding Ladder
Every tutor response is strictly capped at 25 words during derivations. When a student stumbles, TryTuition progressively descends only as far as necessary to ignite understanding.
Level 0: Conceptual Nudge
Minimal Non-Directive Prompt
“Where can we isolate the variable term first?”
Delivered via Gemini 3.8 Live bidirectional WebRTC audio bridgeActivates student metacognition without giving any structural hint. Encourages the student to review equation structure independently.
Foster self-monitoring and autonomous problem-framing.
Curriculum Directed Acyclic Graph & BKT
TryTuition models every mathematical standard as a rigorous dependency DAG. Bayesian Knowledge Tracing computes exact mastery probabilities ($P(L_t) \ge 0.85$) to perpetually locate the student’s Zone of Proximal Development.
Rational Number Operations
Arithmetic Foundations
1-Variable Linear Equations
Algebraic Foundations
Quadratic Factoring & Roots
Quadratic Theory
Conic Sections & Parabolas
Coordinate Geometry
Diagnostic Clarity, Not Unsupervised Screen Time
High-expectation parents and academic mentors receive mathematically grounded diagnostic reports. Track learning velocity and recurring algebra misconceptions without invading student focus.
Faster step derivation vs baseline
Without Level 3 hints or spoiler solutions
Long-term spaced mastery stability