RE: https://mathstodon.xyz/@slava/116856249975905097 OpenAI is burning millions in compute to find a finite complete rewriting system for this monoid but they don’t even realize it embeds in the group with the same presentation