The boys and girls over at Wolfram have posted a problem with a $25,000 prize tag! It looks simple enough: Prove that the Turing machine below is universal.

But when you get in to the technical details, it gets a bit hairy! I don't think I'll even try!