Latest / Models & Agents for Beginners — Video Edition
Ep 157: An AI just turned one of math’s toughest puzzles into a computer-verified proof the size…
# Models & Agents for Beginners An AI just turned one of math’s toughest puzzles into a computer-verified proof the size of a small library. Today we look at how AI is helping lock down centuries of math knowledge so future students and researchers can trust it completely. We also check out a new music tool from a legendary instrument company and hear what real people are saying about how AI fits into everyday life. Plus we explore why teens are chatting with AI about feelings and what that means for staying safe. The Big Story Imagine a math problem so famous that people spent 350 years…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.