「AIは数学をできない」と非数学者は言う