Comment by mb7733

> But in future most proofs will be for consumption by other AI models in the pursuit of yet other proofs.

What is the purpose of that?

Its like art being produced for AI to consume. What is gained from that?