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

See https://openai.com/index/ten-advances-in-mathematics/ for the announcement this refers to.

Ah, this dupes https://news.ycombinator.com/item?id=49638353