Thom's account on an exchange with OpenAI regarding non-sofic groups