14 points pfdietz 6 hours ago 2 comments
pfdietz 6 hours ago | parent
(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."
Qiu_Zhanxuan 1 hour ago | parent
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.