 Whether there exist more efficient codings enabling the (2,3) Turing machine to compute more rapidly is an open question.The announcement that Alex Smith's proof had won was made without the approval of the judging committee, as noted by Martin Davis, a member of the committee, in a post to the FOM mailing list