[yshklarov]

I wouldn't count on it -- LLMs make lots of errors in reasoning, and errors in solutions are very frustrating to most math students.