Scott Aaronson - The Challenge of Proving Busy Beaver Values (via searchlore.ai)