Beauty? Please, there are messy things all over math, this appeal to beauty sounds like over-romanticized pearl clutching.

Ever seen the Chudnovsky algorithm for Pi? People are plenty capable of creating very important ugly math on their own. Not at all unique to LLMs, nor a valid critique. Do you understand the significance of proving that integer multiplication is simpler than O(n log n), even by a little bit? This is exciting! Who knows where this might go or what'll be learned from this