Beauty as the First Test

“Beauty is the first test: there is no permanent place in the world for ugly mathematics.” G.H. Hardy wrote this not as an aesthetic preference but as a claim about mathematical survival: inelegant mathematics, however correct, does not propagate, does not generalize, does not get taught, and so effectively ceases to be mathematics. The statement has become one of the most contested sentences in the philosophy of mathematics, because the arrival of machine-generated proofs has forced the question Hardy never had to answer: what does mathematics look like when it is produced by a system with no aesthetic sense whatever? A proof is established not because it illuminates but because it verifies; correctness is confirmed but understanding is absent. Hardy's criterion is precisely the instrument that diagnoses this gap. A large language model or automated theorem-prover optimizes validity, not beauty, and the two criteria come apart exactly in the cases that matter most: the brute-force case-analysis that closes a