6 ms·

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