Hacker News Reader

Except it's impossible to prove the absence of prior art, while proving the existence of it is pretty easy.

Yep. Finite set of prior art < Infinite set of everything else

Everything else is both finite and not clearly larger. Insofar as everything else might be infinite (e.g. Infinite multiverse) so might prior art.