Comment by UltraSane

In some ways an LLM tutor is better. Try getting a human tutor for things like Category Theory or Lean 4.