06-06-2016, 09:03 AM

It makes no sense to make claims about what somebody is using. Of course, the calculation does not contradict the Fermat theorem, but it does not follow that they use it. Of course, their computation does not violate the inequality with bound 5820428505, which can be also easily proven, but this does not mean that they use it.

Moreover, it does not matter at all what they use to compute the QT prediction. If they want to use some Chinese supercomputer for this purpose, fine, no problem. There is no need for this, of course, they simply use standard QT rules, which allow to compute exact numbers for the expectation values.

As well, it is completely irrelevant if these terms are somehow dependent or independent. You could as well ask me if they are blue or red. As long as you do not doubt that the computation gives the correct QT predictions, the only relevant question is what QT predicts for S. If it predicts, for some particular choices of the preparation procedure and the values of a, b, a' and b', the result \(S= 2\sqrt{2}\), this is all what we need.

Moreover, it does not matter at all what they use to compute the QT prediction. If they want to use some Chinese supercomputer for this purpose, fine, no problem. There is no need for this, of course, they simply use standard QT rules, which allow to compute exact numbers for the expectation values.

As well, it is completely irrelevant if these terms are somehow dependent or independent. You could as well ask me if they are blue or red. As long as you do not doubt that the computation gives the correct QT predictions, the only relevant question is what QT predicts for S. If it predicts, for some particular choices of the preparation procedure and the values of a, b, a' and b', the result \(S= 2\sqrt{2}\), this is all what we need.