AI would be helpful for finding innovative solutions?

Are you talking about some sort of hypothetical future Super-AGI?

Even brute force from something like autoresearch could be able to find ways to squeeze out extra space by trying different ways to express things and rewrite it.