Engineer finds GPT solves Erdos-style problem

Unknown Speaker recounts Neil Samani using GPT to find and formalize a complete proof to a math problem.

Play episode from 00:55

Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!