OpenAI Podcast cover image

Episode 17 - What happens now that AI is good at math?

OpenAI Podcast

00:00

Verifying Proofs and Catching Mistakes

Ernest and Sébastien explain how AI can verify proofs, find errors, and accelerate literature vetting and confidence in results.

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