Scott Aaronson - Exploring Higher Values of Busy Beaver (via searchlore.ai)