His computer is this: MacBook Pro “Core i7” 2.6 15” (6-core CPU, 2.6GHz, 9MB cache; 16GB DDR4-2400MHz).
He just copied the 32gb ISO file, then immediately renamed the other one.
It's a new "feature" of OS X. When you make a copy, it just makes a hard link back to the original file. That's why it seems to finish immediately. (A hard link is like a shortcut, except there's no difference between the original file and the new link. That is, one is not the original while the other is a shortcut. They're both link to the same data on the drive as if they were both the original. The file keeps track of how many hard links are pointing at it, so it knows to delete itself when the last link is deleted.)
The copy is not really made until you actually make changes to the file (renaming the file does not count as a change to the file, since all you're doing is changing the link name). So if he edited the file to make it different from the original,
then OS X will write a completely new copy
There's nothing really wrong with doing it this way. Other OSes don't because usually when a user makes a copy of a file, they're doing it for peace of mind. So they know they'll have a local backup of the file in case something happens to the original. With the new OS X method, if you made a copy of a file as a safety backup, and the file somehow became corrupted, both copies would be corrupted since they're actually both pointing to the same file. I'd argue that the OS X method is functionally worse since normally if you need to copy a large number of files, you can start the copy and go watch TV or something until it finishes. But with the OS X method you'll be stuck waiting for the actual copy to be made because it'll only happen while you're at the computer working.
I suspect the reason Apple went ahead with this change is because one of the consequences of ditching Samsung as the source for their flash NAND is that the new Macbook Pros have some of the slowest 4k read/write speeds I've seen in a modern SSD. I'm talking like 10-20 MB/s, when a modern Samsung NVMe SSD can hit 70 MB/s at 4k reads, 150 MB/s at 4k writes (QD=1). Deferring the copy to when a change is made to the file helps spread out in time a copy of a bunch of files (like a folder), so this slowness is less noticeable to the user.
Look at the non-QD32 CrystalDiskMark 4k benchmarks in these reviews if you don't believe me.
https://www.notebookcheck.net/Apple-MacBook-Pro-15-2018-2-6-GHz-560X-Laptop-Review.317358.0.html
https://www.notebookcheck.net/Apple-MacBook-Pro-13-2018-Touch-Bar-i5-Laptop-Review.316648.0.html
The other reason I can think of is because the SSD on the newer Macs is soldered to the motherboard and can't be upgraded. Due to the high prices Apple charges, most buyers are probably going to get Macbooks with relatively small SSDs. So deferring copies until the file is actually changed to be different from the original helps save space.