That is a problem. AFAIK it is possible to generate unspendable Bitcoin addresses without any private key in a way that could be revealed later (e.g. with a PRNG or deterministic wallet), but it's also possible that Satoshi generated normal key pairs and deleted them which would leave him with no way to prove that they were deleted.