[akuma73]

Not all math is beautiful IMHO.

The proof of the 4 color theorem "reduced the infinitude of possible maps to 1,936 reducible configurations (later reduced to 1,476) which had to be checked one by one by computer and took over a thousand hours."

Of course beauty is subjective and not well defined. Some might consider that proof beautiful.

[JadeNB]

> Not all math is beautiful IMHO.

Surely no-one claims that it is? Speaking of 'beautiful code' does not invite the rebuttal that there is also ugly code, just encourages the appreciation that ugly code isn't all there is, and that formal systems can be æsthetically pleasing.

[rkowalick]

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