Tom Snyder: AI solves 80-year-old math mystery. What it means for humanity

A recent AI-generated proof that resolved a decades-old mathematical problem has sparked a broader question about the future of human innovation.