AI aiding mathematicians widely

Jaeden summarizes how researchers use AI tools to find papers, check arguments, and accelerate proofs like on the Erdos list.

Play episode from 09:12

Transcript

The AI-powered Podcast Player

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