Weird prime tests

I find it hard to believe that a regex could identify primeness. My recollection is that encryption keys are usually not exhaustively proven but only proven “likely prime”