Appears On
Episode Appearances
More or Less · May 16, 2026
Erdos Problem 1196: Can AI now solve maths that no human can?
“23-year-old who used OpenAI's GPT-4 Pro to solve Erdos Problem 1196 through clever prompt engineering in 80 minutes.”
AI-assisted mathematical problem solvingErdos Problems and primitive set conjecturePure mathematics research and unsolved problems
View AnalysisAll TWiT.tv Shows (Audio) · Apr 30, 2026
Intelligent Machines 868: Happy Hamburgers Towing Timmy To The Sea
“23-year-old solved 60-year-old Erdos math problem using ChatGPT, demonstrating AI's novel problem-solving approaches”
Modular and upgradable laptop designLocal AI inference and edge computingSupply chain constraints for memory and processors
View Analysis