I'm not sure what they use specifically, but three of the major 3D graphics tools in use these days are Maya, 3D studio Max, and Softimage.

EDIT: Although it seems that Autodesk owns both Maya and 3DS Max.