I would argue that the first computer verified proof in some sense changed the mathematical aesthetic.