LLMs Improving at Math and Specialized Tools

They cover GPT-5.2's chain-of-thought math advances and the role of formalization tools like Lean.

Play episode from 26:19

Transcript

The AI-powered Podcast Player

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