Logic is the foundational weapon operating on sentences.

The act of stitching together, a series of sentences as true is what logic is.

If you make the stitching as airtight as possible, congratulations, you are in the realm of math.

If you are stitching together reasonably similiar to how the masses do, congratulations you have common sense.

If you stitch together completely random sentences, you are in the realm of nonsense and you may be classified as a retard.

The weapon is the same. The discipline differs and hence the effort to produce the chain.

So I am not at all worried about LLMs producing math proofs.

Godel with his incompleteness theorem helps one sleep easy. Rest assured no LLM can fly above Godel Incompleteness theorem.

There will always be statements that are true. So yes, it is time to celebrate.