アレックス・スミス
スティーブン・ウルフラムは、以前からこういった問題を追求していたことで知られる一人だが、最も単純でありながらチューリング完全であろう計算モデルとして、2状態3記号のチューリングマシン、「2, 3 チューリングマシン」に目を付け、2007年にその万能性（あるいはその否定）の証明に2万5000ドルの懸賞金をかけた。問題提起から47日後、バーミンガム大学コンピューター科学部の学生だったアレックス・スミスが肯定的（万能である、とする）証明を提出し、懸賞は確定した。