Premio sobre una pregunta acerca de una pequeña Máquina de Turing (2,3)

En Microsiervos (www.microsiervos.com/archivo/ordenadores/premio-maquina-turing.html) leo: Seguramente ni el propio Stephen Wolfram ni su equipo han podido resolver este problema durante los últimos años, de modo que ahora lo abren al público con «premio», y ofrecen 25.000 dólares a quien pueda demostrar si cierta Máquina de Turing es universal o no.