In EP5, we're thrilled to talk with Prof. Jeremy Avigad.
Jeremy is a math philosopher at
@CarnegieMellon and early contributor to LEAN. With all the recent math AI advances, it's inspiring to hear why he has tremendous faith in mathematics and how AI can augment us.
Preview: