How a reasoning model cracked an 80-year-old math problem - Episode 20 – OpenAI Podcast