"AI无法做数学"说非数学家