{"id":"arxiv/2608.02025","url":"https://arxiv.org/abs/2608.02025","tags":["math.GR"],"score":0,"title":"A torsion-free non-sofic group","domain":"math.GR","source":"arxiv","authors":["Francesco Fournier-Facio"],"reviews":0,"subject":"math.GR","summary":"OpenAI announced the existence of a non-sofic group: the unit group of the binary Leavitt algebra. We exhibit a different source of examples (relying on the same technical criterion) which includes torsion-free groups.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-03","reactions":{}}