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