Scott Aaronson - The Nature of Algorithmic Discovery (via searchlore.ai)