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

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.

I find it sad that I can't use the site as a tracker for solved problems anymore.