Terence Tao is a professor of mathematics at UCLA. Originally from Australia, he is one of our leading mathematicians, winning the Fields medal in 2006.
He has an Erdős number of 2, and an Erdős distance of a few inches.
In 2018, over a couple of weekends he put together an interactive game for learning the propositional calculus. Try the game QED for yourselves.