A Stanford-trained mathematician and Robinhood co-founder, he became fascinated with using AI to solve a Millennium Prize problem and co-founded Harmonic to build mathematical superintelligence.