Has this dude thought about getting into quantum computing? I would love to see him advance the field of protein folding simulations. Is he just a number theorist dude or has he made meaningful contributions to other areas of science?