The interesting shift with AI in math isn’t “machines can

The interesting shift with AI in math isn’t “machines can do proofs now,” it’s that researchers are already moving the goalposts toward problems that require better intuition, explanation, and taste. Getting answers is getting cheaper; knowing which questions matter is starting to look like the real skill.