No, AI didn’t just solve the thorniest problem in math Scientific American