I think the file extension doesn’t make a difference itself. The way you saved it actually matters.
As long as you use the builtin torch.save(), the saved file is in a deterministic format not matter what file extension you give it.