You too can solve maths problems by:

1. Generating enormous amounts of text

2. Persuading a mathematician to look closely at it

3. Announcing success if they conclude it is a proof

This is deeply disappointing relative to "chatgpt found a proof that isabelle verifies" or similar, especially the part where a mathematician spends (presumably hours) reading through the llm output.