Sean Hardy comments on Is ChatGPT TAI?