Can't wait to see what the almighty AI thinks about the Tits problem![1]
Or the Tits group[2] (I swear, I'm not a member!).
Very tempted to include Tits Alternative[3] as one of my interests on LinkedIn, but I'm afraid the result will be too predictable.
Side note: The two groups that don't satisfy the Tits Alternative are very dear to my heart. Writing software to do computation in Thompson's Group and its generalizations[4] was my introduction to geometric group theory. And I ended up with Grigorchuk as my graduate advisor after learning about the Grigorchuk group.
https://link.springer.com/article/10.1007/s11433-013-5387-8