Following OpenAI's recent announcement that its large language models solved ten major problems in mathematics and theoretical computer science, including the construction of a non-sofic group, a new analysis explores the specific types of math these systems excel at. The article evaluates the current capabilities and limitations of LLMs in handling complex, abstract mathematical reasoning.