数学者はAIを嫌っている。やめられない ノート