Los puntos clave no están disponibles para este artículo en este momento.
I discuss how mathematicians come to a shared notion of what is important, and how automated reasoning might affect that process.
Akshay Venkatesh (Fri,) studied this question.