Abstract:A recent paper by two of us and co-workers, based on an extended Wigner's friend scenario, demonstrated that certain empirical correlations predicted by quantum theory (QT) violate inequalities derived from a set of metaphysical assumptions we called "Local Friendliness" (LF). These assumptions are strictly weaker than those used for deriving Bell inequalities. Crucial to the theorem was the premise that a quantum system with reversible evolution could be an observer (colloquially, a "friend"). However, that paper was noncommittal on what would constitute an observer for the purpose of an experiment. Here, we present a new LF no-go theorem which takes seriously the idea that a system's having *thoughts* is a sufficient condition for it to be an observer. Our new derivation of the LF inequalities uses four metaphysical assumptions, three of which are thought-related, including one that is explicitly called "Friendliness". These four assumptions, in conjunction, allow one to derive LF inequalities for experiments involving the type of system that "Friendliness" refers to. In addition to these four metaphysical assumptions, this new no-go theorem requires two assumptions about what is *technologically* feasible: Human-Level Artificial Intelligence, and Universal Quantum Computing which is fast and large scale. The latter is often motivated by the belief that QT is universal, but this is *not* an assumption of the theorem. The intent of the new theorem is to give a clear goal for future experimentalists, and a clear motivation for trying to achieve that goal. We review various approaches to QT in light of our theorem. The popular stance that "quantum theory needs no interpretation" does not question any of our assumptions and so is ruled out. Finally, we quantitatively discuss how difficult the experiment we envisage would be, and briefly discuss milestones on the paths towards it.

MLC No-go Theorems: Reinterpretation and Extension

Reexamination of Quantum Bit Commitment: the Possible and the Impossible

New Protocols for Conference Key and Multipartite Entanglement Distillation

Quantum key distribution based on orthogonal states allows secure quantum bit commitment

Violation of multipartite Bell inequalities with classical subsystems via operationally local transformations

Quantum delegation with an off-the-shelf device

Probabilistic versions of Quantum Private Queries

Simple proof of confidentiality for private quantum channels in noisy environments

A "thoughtful" Local Friendliness no-go theorem: a prospective experiment with new assumptions to suit

A Computational Separation Between Quantum No-cloning and No-telegraphing

Verifier-on-a-Leash: new schemes for verifiable delegated quantum computation, with quasilinear resources

Extendibility limits quantum-secured communication and key distillation

Certifying beyond quantumness of locally quantum no-signalling theories through quantum input Bell test

Unconditionally Secure Commitments with Quantum Auxiliary Inputs

No-Go Theorems for Quantum Resource Purification

A proposal for founding mistrustful quantum cryptography on coin tossing

Classical Verification of Quantum Learning

Separable Power of Classical and Quantum Learning Protocols Through the Lens of No-Free-Lunch Theorem

A no-go theorem for sequential and retro-causal hidden-variable theories based on computational complexity

Quantum protocols for the millionaire problem with a third party are trivial

Quantum Bit String Commitment