As for explaining mathematical phenomena it opens the question: explaining to whom? humans?, other computers?
Gil KalaiCounting pairs is the oldest trick in combinatorics... Every time we count pairs, we learn something from it.
Gil KalaiLike musicians who can read and write complicated scores in a world without sounds, for us mathematics is a source of delight, excitement, and even controversy which are hard to share with non mathematicians. In our small micro-cosmos we should ever seek the right balance between competition and solidarity, criticism and empathy, exclusion and inclusion.
Gil Kalai