> But AI breaks that correlation, for the same reason it separates the two notions of proof. So, even genuine solutions would not satisfy us. This is not moving

> But AI breaks that correlation, for the same reason it separates the two notions of proof. So, even genuine solutions would not satisfy us. This is not moving the goalposts but recognizing that any specific goalpost is inadequate. If mathematics is a game, it is an infinite one. This attitude is not reactionary. We reject both It was pure Not X It’s Y for so long i naturally assumed it was AI written.