Mathematical AI helps researchers crack 50-year-old problem