Scott Aaronson - Proving the Unprovable (via searchlore.ai)