"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•1h 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.
pfdietz•6h ago
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."