Solve logically? Sure.

Solve for how to implement and synthesize physically? Not likely.

Humans solved for launching rockets to the Moon on paper decades before it happened.

Pareto type thing; the logical work is the easy 80%. The last 20% is fighting physics.

There is no beating physics but there is still plenty of room for us to improve our understanding of it.

Which we weren't focused on at all sitting millions primates at well understood physical computers searching for Shakespeare Python and Ruby code yet merely getting same old contemporary software outputs.

This is spot on.

It’s akin to ‘understanding’ something at the surface vs going very, very deep into the details.