It states that some problems will never have a perfect solution. It would be possible, I guess, for a strong AI to pump out stronger and stronger AI, so that hu

It states that some problems will never have a perfect solution. It would be possible, I guess, for a strong AI to pump out stronger and stronger AI, so that humans will be unlikely to solve any problem before the stronger and stronger AI solve it. Until that happens, it will always be possible to write a better space-optimizing compiler. Afterwards, it will still be possible, but the strong AI will beat you to the punch.