In a previous post I wrote about a prize being offered by Stephen Wolfram, the creator of the Mathematica Software and author of A New Kind of Science, to whomever proved (or disproved) the universality of a 2,3 cellular automata.
Nearly 4 months later, Alex Smith has just won the $25,000 USD prize by demonstrating the universality of Wolfram’s Turing machine in an ingenious 40-page proof.
Congratulations goes to Alex Smith for this amazing scientific contribution.
Tags: Computers, Mathematics, Science