Wolfram: The Simplest Universal Turing Machine is proven by 20 year old student53 points by rmsRead the articleDiscussion on Hacker News