Redirecting to AI and Humans Team Up to Crack an 80-Year-Old Math Puzzle...