Thanks. The relevant test would be this:
torch.save(torch.randn(1), ‘tmp.pt’)
time.sleep(60)
torch.save(torch.randn(1), ‘tmp.pt’)
My file explorer keeps showing the first creation time, even though the file attributes are updated, so I guess it’s not a Python problem.