Btw.: Satoshi has enough other Bitcoins than the known "lost" coins. He mined on several machines but we only know his "lost" coins. (our opinion)
No one's 100% certain these P2PK coins are all owned by Satoshi.
Yes, you're right, not 100%. But our AI says it is > 99.99999999999999999999%.