blog — Proofs and Prompts — 25 Sep 2026
From non-sofic to non-hyperlinear groups: the new messiness of discovering and announcing big results
#geometric-group-theory #group-theory #mathematical-discovery
The very human story of the discovery of non-sofic, non-MF and non-hyperlinear groups over the past two months.