Thom's account on an exchange with OpenAI regarding non-sofic groups(mathstodon.xyz)

2 pointsby pred_an hour ago2 comments

pred_44 minutes ago
Ah, this dupes https://news.ycombinator.com/item?id=49638353
pred_an hour ago
See https://openai.com/index/ten-advances-in-mathematics/ for the announcement this refers to.