Eine Turingmaschine heißt universell, wenn sie jede andere Turingmaschine simulieren kann, die ihr als Eingabe übergeben wurde. D.h. eine solche Turingmaschine ist ein Interpreter für andere solche Maschinen.

Nun wurde eine neue sehr kleine universelle Turingmaschine gefunden, für die vor fünf Monaten ein Preis ausgelobt wurde.

Genaueres unter http://www.wolframscience.com/prizes/tm23/solution_news.html.