Listen in the Podli app 🎧
Follow your favourite podcasts, listen offline and in the car with CarPlay and Android Auto, and always pick up where you left off. Free to try.
In this episode,
Anna Rose and
Guillermo Angeris talk with
Kevin Lacker , creator of
Acorn , a theorem prover utilising AI. They explore what theorem provers are, their history, and how they're used today. Kevin shares how Acorn brings in AI to simplify the proving process, letting users naturally write mathematical statements while the system checks the correctness of those statements. It's built to feel more like natural math, unlike tools like Lean that demand every step.
They also explore the benefits of including AI in math, and also the challenges that come with it such as hallucinations, and how Acorn could speed up research in areas like zero-knowledge proofs. The dicussion also covers the history of mathematics, community building around Acorn and its open math library, acornlib.
Related Links
ZK Whiteboard Sessions is an educational video series produced by ZK Hack. It is focused on the building blocks of zero knowledge technology. Find season 3 of the Whiteboard Sessions as well as previous seasons
here .
Check out the latest jobs in ZK at the
ZK Podcast Jobs Board .
**If you like what we do:**
* Find all our links here!
@ZeroKnowledge | Linktree
* Subscribe to our podcast
newsletter
* Follow us on Twitter
@zeroknowledgefm
* Join us on
Telegram
* Catch us on
YouTube
**Support the show:**
*
Patreon
*
ETH - Donation address
*
BTC - Donation address
*
SOL - Donation address
*
ZEC - Donation address
Read transcript
