2 3 Universal Turing Machine proof
The 2 3 Turing Machine proof challenge from Wolfram has been proven! The simplest possible universal Turing Machine may now advance. thanks to Alex Smith, a 20-year-old undergraduate from Birmingham, UK, who produced a 40-page proof. There is still some controversy and time awaits the peer review, but..