I mean that math is so far beyond me I have no clue if or how the proofs would "create anything" or lead to anything useful. I'm sure they do, besides adding a little bit to our civilization's knowledge.

I do suspect that LLMs think very "broadly" with a very broad knowledge but can't really reason very deep without training for a special problem. So rapidly trying different approaches does sound like how they do it. So maybe it is a little bit similar to a typing monkey except that it apparently did these proofs with a relatively limited budget.