A digital mentor for mathematical explorations.