I think this is why Terence Tao created https://palomar-registry.org (I have no affiliation with them besides also having sent in a result there)

LLMs are excellent at doing searches of the math literature; presumably they'd also be good at doing searches of AI-generated results.