Can AI find vertical asymptotes of a rational function?