gjm comments on Is ChatGPT TAI?