Scott Aaronson - The Busy Beaver Conundrum (via searchlore.ai)