It may have to do with NTFS alternate data streams. Though the article states that the presence of ADS in a file doesn't affect its size, things may have changed since the article was written (back in 2004) and Windows 10's property dialog may well account for all ADSs in a file, while python doesn't.
A more recent blog post explains how to examine the data streams of a file using PowerShell utilities:
Get-item -Path C:\Windows\System32\AdvancedInstallers\cmiv2.dll -stream *
If my hypothesis is correct then the output should look something like the following:
FileName: C:\Windows\System32\AdvancedInstallers\cmiv2.dll
Stream Length
------ ------
:$DATA 2193248
SomethingElse 1059328
(or SomethingElse may actually consist of several smaller streams with sizes adding up to 1059328).
with open(path) as f: print(len(f.read()))
?print(os.stat(path).st_size)
print(os.stat(path).st_size)
gives2193248