Also known as negative proof, impossibility theorem
result demonstrating that a particular problem cannot be solved as described in the claim, or that a particular set of problems cannot be solved in general
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).