P=NP: Perhaps I Change My Mind

An old result put a new way (in a now-fixed-up post) Albert Meyer knows circuit lower bounds. He co-authored a paper with the late Larry Stockmeyer that proves that small instances of the decision problem of a certain weak second-order logical theory require Boolean circuits with more gates than there are atoms in the observable […]