Comment by UltraSane

" if you need a human tutor to understand category theory or Lean then you don't have the requiste math/CS background and a human/LLM tutor won't be able to meaningfully teach you anything."

What an incredibly elitist thing to say.