GPT 5.6 Pro improves record on large prime gaps

GPT 5.6 Pro (provided by DottedCalculator) improved the lower bound for Jacobsthal's function to Y(X) ≫ (1/L3)XL1, beating the previous record by Ford, Green, Konyagin, Maynard, and Tao. The sketch also proves Y(X) ≫ (1/L2L3)XL1, already improving the Erdős–Rankin bound by L2^(1+o(1)).