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.