An AI Cracks an 80-Year-Old Geometry Puzzle. What Do Mathematicians Make of It? - TrendCloud