though I don't play Go 圍棋 .
Using the infinite series in the post as an analogy, the algorithm defeating human Go players is not required to decide on the "irrationality" of the sum of the whole series from a finite number of its terms that are all rational. That is, no "jump" of that kind of decision is required.