My understanding was that any hitherto success of LLMs in mathematics was in its trying approaches and information from different fields where they weren’t traditionally applied (within mathematics), they have surfaced potential links but haven’t created anything in any real sense. Still, a potential legitimate use for them that I personally hadn’t anticipated.