It's remarkable how you can manage to get these models to produce remarkable breakthroughs like an explicit construction of a non-sofic group.

And yet this is the exact same company that has screwed up their android app so bad that the latex N^3 rendering problem makes it so having it explain it to me crashes the app.

Truly jagged beyond belief.