To a first approximation, OpenAI's proof dump is sort of denial-of-service attack on mathematicians. This is analogous to how social media overwhelms our minds. There's simply too much stuff that demands attention. -- Whenever a binding constraint is relaxed (or _removed_ which is practically the case here) the system will move to a very different state. Typically, there will be some other constraint which will newly become binding. (And since this new binding constraint wasn't binding in the past, we probably weren't even aware of its existence.)