Yes.
But what I want to know is this: Has 'Into Darkness been shot using Imax film - ie, 70mm - or are the Imax screenings upscaled 4k?
EDIT - to answer my own question... According to IMDB's tech spec:
"Printed Film Format:
35mm
70mm (horizontal) (IMAX DMR blow-up)
Camera: Arri Alexa
IMAX MSM 9802, Hasselblad Lenses
Panavision Panaflex Millennium XL2, Panavision Primo, C-Series, ATZ and AWZ2 Lenses
Red Epic"