If I understand correctly, most of it is actually written in mathematica.
True, it's an expert system and doesn't appear to be anything new in terms of AI, but it's still pretty impressive.
(edit: according to Wikipedia, "It is written in 5 million lines of Mathematica [...]")
This isn't a search engine. It's a web-based expert system with strong data-manipulation and presentation capabilities.