Zero Knowledge cover image

lean Ethereum Part 1: Introduction with Justin Drake

Zero Knowledge

00:00

AI‑Assisted Theorem Proving Success

Justin recounts using AI to prove a proximity-gaps lemma quickly, and links to the broader formal verification program.

Play episode from 16:41
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app