I personally would never participate in this. I think clarifying proofs generated by a machine is a contemptible way to spend time. A lot of people will ask, isn't the purpose of math to generate results? I don't think so. I think the purpose of math is to gain a precise and clear understanding of the world through a shared human practice of math - human only.

I know most people here will disagree because most people here are at the top of the consumption food chain of just consuming the latest and greatest of whatever the world produces, so why not have more to consume? But slowly the joy is being sucked out of the world by AI for those not at the top and being replaced the narcissistic activity of enjoying superficial sensory stimulation in a vacuum.

A rather sad state of affairs...

But pure math is a game that only cares about the rules and definitions as you choose to define them. It's not about understanding the world at all. The application of math in science (which is about understanding the world) is usually (but admittedly not always) after the fact.

[dead]