Scott Aaronson - The Search for Higher Busy Beaver Values (via searchlore.ai)