科學傢首次用數學證明AI致命弱點