AI生成证明淹没数学平台，站长不愿管理痛点

原话

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.

原话

I believe that websites with this function should exist -- places where people can record AI-generated proofs, even if purely formal with no human understanding, to save others wasting their tokens generating the same proof, and so that other people can access and use them if they desire. There are now several candidates for such repositories, and if managed responsibly, they can serve a useful role in the mathematical ecosystem. I personally don't want to manage one. Just as one does not open a restaurant in an abattoir, it is important that there be a separation between such repositories and a site which aims to promote the actual questions, place them in an appropriate context, and give a useful overview of the current state of human understanding.

原话

and, most significantly, there has been a wave of AI-produced solutions provided with no explanation. Counter productive and dumb, although not dumb from the viewpoint of an AI company trying to win hearts and minds hoping that translates into revenue.

原话

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.