Qiu_Zhanxuan2 hours ago
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.
pfdietzop7 hours ago
(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."
bananaflag38 minutes ago
I find it sad that I can't use the site as a tracker for solved problems anymore.