AI use cases

Generating a counterexample for non-Sothic groups

Show that some infinite mathematical objects cannot be approximated by any finite set.

From OpenAI's Astra JUST solved math... by Wes Roth