I can't wait until this tech progresses to the point it can reliably tutor for more advanced courses like real analysis, group theory, linear algebra, etc. I ac

I can't wait until this tech progresses to the point it can reliably tutor for more advanced courses like real analysis, group theory, linear algebra, etc. I actually wondered if it would be feasible to use NLP techniques to check user submitted answers to proof based problem, LLMs might be get there.