If Goldbach's conjecture is false but the smallest counterexample has 10^1000 digits, would we be unable to ever prove or disprove it?

如果哥德巴赫猜想是错的，但最小的反例也有 10^1000 位数，那我们岂不是永远无法证明也无力证伪？

A public trend signal observed across 1 source.