The first thing is that sooooo many media players can’t take content larger than HD or 4K and this spec is way above both. So while the screen may in fact be that resolution, doing the spec’d resolution might be overkill.
Second, LED’s, especially rental ones on stage are still fairly low resolution (6mm pitch or so). So if you do the math that comes out to 150 feet or so long. Does that seem like a reasonable length – have you seen the screen? Because an audience is so far back they often don’t have to pop for a screen with anything higher than 6mm (or even 8). But even with a “high” resolution screen at 2.5mm pitch, that’s still over 50 feet long. Again does that seem right? I’m just trying to see if they are giving you correct information.
It could also be that their media player takes the spec you suggest and scales it down to fit the screen.
It could also be that from your 6k file they will cut off sections and make separate movies for individual media players or feed the whole thing into something like Green Hippo or Watchout which will cut the section up for each screen. But I’m pretty sure that even these two programs/hardware combos can’t take larger single content than 4k.
Anyway that’s my skeptic speaking.
As for size of content, AE can handle that size with ease. You can work with proxies to speed the work flow and you can watch the content play at 1/2 or 1/4 rez or make smaller temp movies to check the animation.
LEDs can indeed take pixel for pixel content and often have to because they are rarely a standard aspect ratio (especially convention rental configurations). In fact its often better to give a larger resolution so the matrixer can super sample the content to reduce ringing between pixels once it gets to the screens “dots”. But its more common to feed a standard format (4k) into the screen and have it blown up; that content will often have large areas of black where the odd screen aspect doesn’t match the 4k format (so the screen uses the upper half of the 4k frame and the rest is black)
If the screen is in fact that size and that many pixels then the information they have given you is correct and very doable in AE. Your limitation is your desktop screen size. If its going to be an ongoing thing for you it might be worth your while to invest in a multiple-head-to go from matrox or one of Radeons Fire card arrays that will let you do multiple screens (think: 6 screens horizontally) with a massive amount desktop realestate. Otherwise its hard to see the content fully AND at 100%