Recently there have been several major mathematical breakthroughs enabled entirely by AI: both proofs and counterexamples to long-held conjectures. Ordinarily I read about this sort of ting with interest. Now I find I simply don’t care. Mathematics may have its uses but it is not interesting because it is useful; it is interesting because it is beautiful. The pursuit of mathematics is valuable not because it is important to be right but because the pursuit of it is beautiful. It is not like having a cure for cancer and not minding where it came from. It is the difference between watching a dancer and watching a computer simulation of a dance. If it isn’t human, to hell with it.