Erdos Problems and primitive set conjecture
Discussed in 1 analyzed podcast episode across 1 show
Discussed On
Episodes
More or Less · May 16, 2026
Erdos Problem 1196: Can AI now solve maths that no human can?
AI-assisted mathematical problem solvingPure mathematics research and unsolved problemsAI proof verification and validationHuman-AI collaboration in academic researchFermat's Last Theorem and mathematical history
View Analysis