$\begingroup$This uses something called MathWebSearch, which seems to be an experimental project. Perhaps someone should ask them if they'd be interested in ingesting the MathOverflow corpus.$\endgroup$
– Scott Morrison♦Mar 20 '14 at 11:34