Is string theory correct?