Humans have an intuition for mathematical abstractions and definitions that feel right and complete and prove broadly useful across different scenarios.

“And I think the reason is like we have this feel for the right abstractions, these kind of like satisfying concepts and definitions that, that feel right to us, that feel complete, that feel expansive in what they can-- in the kind of the work they can do when you, you know, when you start applying them in different scenarios.”