But the results are still 1000x better than Google's. Something is being done there.

True in large part, but they've been diversifying their providers in the expectation that Google shut everybody out.

Sure but we are talking about the UI here, not the index being used

They mostly use Bing, at least from my testing.