But 3b1b videos provide neither (1) nor (2).
And they don't claim to either.
And they don't claim to either.
As a representative example, consider his video on the Basel problem. The video features geometric intuition, but it is intuition that drives a proof that is being presented. There's nothing hand-wavy about it.