http://www.stumbleupon.com/su/9qZRJZ/www.ted.com/talks/stephen_wolfram_computing_a_theory_of_everything.html
He has a new branch of Mathematica called Wolfram Alpha that integrates a search engine kind of thing which uses regular words as input and then giving mathematical outputs. That is a rough idea of this new engine he has invented. It is well worth listening to.