TU Dresden group theorist Andreas Thom says that OpenAI gave him a misleading answer about whether his private ChatGPT sessions fed the training data behind the Astra proof that built the first non-sofic group. OpenAI has not publicly addressed his posts.