Exactly, it's the most important part of the math education, there is no point in memorizing definitions and theorems without putting everything into practice.

But it seems like the temptation to get perfect solutions from an LLM is too big for many students nowadays, they lack the maturity to understand that using LLMs for basic assignments is counterproductive.