I suspect that if Nikon lenses were used for the 65mm cameras on 2001, it was probably some of the longer lenses that had a larger-than-43mm image circle. The 65mm Super Panavision/Todd-AO camera frame is approx. 22x49mm, requiring (check my math) an image circle of 53mm or 54mm. The earliest incarnation of the 35mm/3.5 PC-Nikkor would have been available at the time.
The Super Panavision lens set, at the time, was extensive from wide to tele, two zooms, and even a 17mm full-frame fisheye.
It's possible that Nikon lenses were used on the slit scan animation cameras as well.