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."