Soficity is a property of groups generalising at once amenability and residual finiteness. It was introduced by Gromov and Weiss as a convenient class in which to establish many outstanding open questions in group theory. On 1 August 2026, OpenAI announced that they found the first example of a non-sofic group, the construction builds heavily on work of Kun from 2016 and Kun--Thom from 2019. I will do my best to recount this story.