Everybody believes that EXP contains problems of exponential circuit complexity, but we are very far from proving it, and in fact we know that any proof of such a result cannot be a relativizing argument, cannot be an ''algebraizing'' argument in the sense of Aaronson and Wigderson, and cannot be a ``natural proof'' in the sense of Razborov and Rudich. So it is a very challenging open question, and an important one, because if we are every going to prove that NP contains problems of exponential circuit complexity, we first have to be able to at least prove it for EXP.

The only circuit lower bound technique that can hopefully overcome the relativization, algebraization and natural proof barriers is Ryan Williams idea of using satisfiability algorithms that are faster than brute-force search. The fact that P=NP implies exponential circuit lower bounds for EXP is a toy version of Williams's approach (which requires much weaker conditions than P=NP to work, and in fact it requires conditions that are quite possibly true).

Another way to look at this result is that, if one could prove that $P\neq NP$ implies that EXP has problems of superpolynomial circuit complexity, then we would have, unconditionally, then EXP has problems of superpolynomial circuit complexity. (Such two-parts proof, in which we use different arguments depending on the answer to an open question, exist, for example there is Kannan's proof that $NP^{NP}$ has problems of circuit complexity at least $n^k$ for every k. The proof has two parts depending on whether or not SAT can be solved by circuits of size $O(n^k)$.)