Comment by Diogenesian

This is an unhealthy view of mathematics. It's mathematics as envisioned by football fans.

The most valuable things in mathematics are not beautiful proofs. We need more useful definitions. Actually coming up with useful definitions (and building good conjectures out of them - not even theorems, conjectures) is something LLMs have not yet tried to conquer.