STOC 2026 Saturday Workshop: Scott Aaronson

Are We Cooked? I will describe some recent case studies of using GPT 5.5 Pro to help solve open problems in quantum complexity theory, and reflect on what theoretical computer science might look like going forward.