「ウルフラム氏のチューリングマシン」を20歳の学生が証明
http://wiredvision.jp/news/200710/2007102622.html

Wolfram's 2,3 Turing Machine Is Universal
http://www.wolframscience.com/prizes/tm23/solution_news.html