> Well, except that it simply can not be social recommendation. Math is too big, and interesting results too sparse for that.

I think that almost anyone pre-Amazon would have said that an Amazon-style recommendation engine was impossible. (I pick Amazon as the one with which I'm most familiar, but substitute your favourite.) Amazon groups me with people who read similar books, and can only do so after it knows a bit about what books I read; why couldn't an engine group me with other people who share my mathematical interests, perhaps determined by mining my publication record (or just by asking me), and recommend on that 'social' basis?

That's because there are only a few millions (or is it billions? not really an important difference) of books available, while we don't have names for the kind of number of proofs available in any mathematical system (when they are finite, it is).

You can lump all humans on the same group, your AI just won't find anything interesting for the group by a random search.