For 75 years, computers have worked within limits defined by Alan Turing. Now work has begun to fulfil his prophecy of a machine that can solve the unsolvable.

http://www.youtube.com/watch?v=u58DY1uKo5o