Math Olympian in Shadow of John Nash Tries to Solve Blockchain, AI Trust Dilemma