I don't think they have, but they think they have 😅. Here's an interview with the filmmaker where he makes that clear:

https://www.fastcompany.com/91201894/satoshi-nakamoto-hbo-bitcoin-documnetary-money-electric-trailer