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