It’s probably going to get worse.

Soon there will be an influx of randos on social media who just vibe through every open problem in the book with no regard for research ethics. If OpenAI have no regard for research ethics, why should randos do it?

But hey, at least it will be formalized in Lean alongside with some gibberish written in LaTeX.