Scott Aaronson - Non-Constructive Proofs in Complexity (via searchlore.ai)