Jesse Han is now tracked in Turing Tree. He is the co-founder and CEO of Math Inc., where he leads work on Gauss and large-scale autoformalization.
Han previously founded Morph Labs and worked on GPT-4 and automated theorem proving at OpenAI. He completed a mathematics PhD at the University of Pittsburgh under Thomas Hales.