AI 中文总结
该研究在 OpenAI 发现二元 Leavitt 代数的单位群为非 Sofic 群的基础上，提供了另一类含无挠群的非 Sofic 群例子，依托相同技术准则。
AI 中文摘要
OpenAI 宣布存在一个非 Sofic 群：二元 Leavitt 代数的单位群。我们展示了另一个例子来源（依赖相同技术准则），其中包含无挠群。
英文摘要
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.
Comments5 pages. v2: small changes after several comments on the first version
