On the existence of non-sofic groups

[This is a guest post by Andreas Thom. This blog post was initially written in a different file format and converted using AI. — T.] When I woke up on August 1st, 2026, I had received a few emails from colleagues asking for my opinion on a remarkable result that had circulated the previous day. The result was a solution to a long-standing open problem in geometric group theory, specifically the existence of a non-sofic group. I was astonished and at the same time, looking at the first draft, als...