Jesse and Priscilla talk with Kevin Buzzard, a professor of pure mathematics at Imperial College in London about whether computers can get as smart at math as they are fast at math. Buzzard specializes in arithmetic geometry and the Langlands program, a branch of modern algebraic number theory.