Someday we'll figure out how to program computers to behave deterministically so that they can complement our human abilities rather than badly impersonate them.

Getting down to the level of a median helpful human with the same knowledge would be a massive step forward.

Getting down to the level of a moderately humble expert taking the time to double check would be almost as good as solving it.