Location
MacKay Hall, Room 117
Abstract: Scott Aaronson will describe some recent case studies of using AI to solve open problems that he is passionate about in quantum computing and computational complexity theory and reflect on what theoretical computer scien