AI's solution to 87-year-old riddle takes mathematicians by surprise