Su suggerimento di @ulrich.

Conoscete tutti il povero gatto di Schrödinger? Se la sovrapposizione di stati della meccanica quantistica funzionasse anche a livello macroscopico lo potremmo vedere sia vivo che morto. Arkady Bolotin, ricercatore della Ben-Gurion University, ha usato la logica per dimostrare che gli oggetti quantici macroscopici non possono esistere se P≠NP, spiegando allo stesso tempo perchè il gatto è vivente oppure no, e non assieme.

Immagine tratta da Wikipedia.