Comment by ryandv

I don't know. There's lots of options. At the extreme ends it would be interesting to see these agents work on something like boost, or metamath/set.mm, to choose deliberately obtuse candidates. Perhaps a web browser.