Interactive Mathematics AI Solver