A welcome change, people posting AI-generated proof to claim credits are the scourge on mankind discoveries. It's time everyone that still hasn't, let go of their ego. All Hail the era of elegance.

(Title is my clickbaiting)

From the link:

"The main way that people publicly interact with the site now is to advertise their AI-generated proofs, often without any attempt to explain them, but as a way to record a (increasingly meaningless) priority claim.

This is very different to what I imagined, and I don't want to manage a website which does this."