~
That's not what a collision is, a collision is two separate generators generating the same private key that points to the same address. Not two different keys pointing to the same address. The private key is the root of an address. The address is simply the hash of that private key.
address is not hash of private key, it is hash of public key. and what you explained (2 different entities find the same address with 2 different keys) is only one type of collision. the other type is indeed 2 different entities finding the same private key. the space they are in are different. the first one is in 160 bit and second is in 256 bit and both of them are huge enough to be considered impossible.
That's not what a collision is, a collision is two separate generators generating the same private key that points to the same address.
There's no way to prove that. But that's more relevant for
Large Bitcoin Collider Thread 2.0 than for this topic

that topic is only solving a puzzle, it has nothing to do with collision despite what the name suggests! they have been basically searching from private key = 1 and incrementing it 1 at a time checking whether the result matches the puzzle addresses that were placed there to be found.