I don't believe that follows.
For example, there is one 'correct way' to unscramble a rubiks cube, but humans unscramble them in a much more roundabout manner.
Just because there is one correct way to do it doesn't imply that all rubiks cube solvers are fungible.
This is because of the very high cognitive load of finding the correct way.
Math, especially number theory, is full of conjectures that are easy to state but take hundreds of years to resolve, and at it's base computer science is math.