精选理由
这篇数学论文给出了无挠非 sofic 群的新构造，跟 OpenAI 那个 Leavitt 代数例子不是一回事，想看群论新进展的可以读读。
本文构造了一个无挠的非 sofic 群，来源与二元 Leavitt 代数单位群不同。该例子依赖与 OpenAI 所宣布结果相同的技术判据。此前已知的非 sofic 群例子往往带有挠，新结果填补了无挠情形。论文给出了更广泛的构造框架。
原文 · arXiv: OpenAI
A torsion-free non-sofic group
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.