TBPN cover image

OpenAI's "Backstop," The Benefits of Bubbles, Elon's New Comp Package | Bret Taylor, Dave Baszucki, Vlad Tenev, Uri Marchand, Alex Israel, Paul Erlanger, Nilam Ganenthiran

TBPN

00:00

AI-Assisted Mathematical Discovery and Verification

Discussion of AI generating novel math results, Harmonic's verification role, and tooling for formalizing proofs.

Play episode from 02:27:27
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