If "interesting" is the keyword here, I'd have hope that language models based around mathematics research would at least be able to narrow the scope of theorem

If "interesting" is the keyword here, I'd have hope that language models based around mathematics research would at least be able to narrow the scope of theorems being iterated through to those closest to what mathematicians are already talking about. We'll see