AI 선생님이 밀착 관리…교원, 초등용 '레드펜 AI수학' 출시