Probably not. 3 hours of uncompressed 1080p video is around 2tb. The film is closer to 16k which is 64 times more pixels than 1080p. This ain’t your web rip off pirate bay.
Surely even a lossless compression is incredibly smaller. (But you can’t truly losslessly convert from film to digital, only commenting on uncompressed 1080p.)
However, let’s not forget the whole thing was created digitally then “printed” to film, so there was never a “film original”.
He uses the camera negative as much as possible and avoids CGI as much as possible so a lot of film hasn’t been digitised and reprinted it’s from the actual source.
It’s hard to say, but film grain is noisy and noise does not compress well. In my experiments with lossless video compression without film grain you’d get a ~3:1 compression ratio. With film I’d guess closer to 2:1.
So 16k (15360 x 11520) x 12 bit per channel (36) x 24 fps x 3 hours (10800) is 206 TiB. Even with very generous estimates of compression ratios you’re not fitting this on anything less than a 2U server filled with storage.