Intuition also takes effort, just of a different type and quality. It's the difference from mindlessly applying memorization and simple inference/recombination

Intuition also takes effort, just of a different type and quality. It's the difference from mindlessly applying memorization and simple inference/recombinations (basically delegating to our own internal LLM) versus deeply contemplating the meaning of certain mathematical objects, looking for intuitive analogues etc. I would say the second takes more effort and seriousness. The first is more like brute-forcing a problem.