“The truly correct proof is one that strikes a harmonious balance between strength and flexibility. There are plenty of proofs that are technically correct but are messy and inelegant or counterintuitive. But it's not something you can put into words — explaining why a formula is beautiful is like trying to explain why the stars are beautiful.”