Even very simply stated problems in boolean circuit optimization turn out to be deeply connected with extremely hard mathematical and computational problems, and in some cases even provably undecidable problems.
I don’t hold out very much hope of ever being able to find and prove solutions to most of these questions, even assuming superintelligence.
On the other hand, there are no doubt lots of practical improvements, even very substantial ones, to be made.
Even very simply stated problems in boolean circuit optimization turn out to be deeply connected with extremely hard mathematical and computational problems, and in some cases even provably undecidable problems.
I don’t hold out very much hope of ever being able to find and prove solutions to most of these questions, even assuming superintelligence.
On the other hand, there are no doubt lots of practical improvements, even very substantial ones, to be made.