I find it mildly amusing how mathematicians are currently clinging onto the hope that there is something special about their creativity that AI will not also be able to pull off in a year or two.