Comment by youoy

We should create a platform where people can upload AI slop proofs anonymously without taking credit for it. That way the incentives of planting a thorem flag would go down. And if someone wants to clean an AI slop proof to advance the field, they can do it without cleaning the house for free of the person that planted the flag.

Would OpenAI have uploaded their proof to such a platform? If you know the answer then you know what the problem with what happened is.