もし、相関が存在するのなら、勝率を 50% 以上にすることはできる。
これは真。

相関が存在するのなら、相関を見つけるアルゴリズムが存在する可能性が有る。
これも真。

しかし、前提条件の相関が存在するかどうかについて、誰も答えを持っていない。
有るかも知れないし無いかも知れない。

「隠れた」相関が存在する。という立場にたつのが「株価予測プログラム」支持派。
もともとそんなものは無い。という立場にたつのが否定派。

「隠れた」相関が存在することを証明するには、その相関を見つければよい。
しかしまだ誰も公表していない。
「隠れた」相関が（実は）存在しないことを証明することはまずできない。
非存在を証明することは非常に難しく、実質的に不可能。