Young chap who won a prize from Wolfram for proving a particular Turing machine was universal.
Lex Fridman